将数字转化为字符串的函数是什么