shell脚本字符串转数字