python中的字符数字之间的转换函数