shell字符串转为int