php 类型转换问题 int

 $a = 'int'; echo ($a) "a";
这个该怎么写

字符串转数字？？问题都么说清楚，如果是转数字看这个
http://www.jb51.net/article/29844.htm