把字符串的数字提出来的函数是什么