如何将字符数字字串变为数字。。。。

profans

如：a1=" 12345"
变为a2="12345"
注意第一个a有个空格的。
用echo "a1=[$a1]"
显示的［后有一个字格.

thanks

yhlfh

int(a1)试试