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

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

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

thanks
int(a1)试试