关于json_decode的问题

我的服务器是的php版本是5.1.6，无法用json_decode解析，如

$json = '"125365"';
var_dump(json_decode($json, true));

5.1.6版本返回的是null

5.3.5版本返回的是string(6) "125365"

我在5.1.6版本上用了json.class.php和Services_JSON.php等类，用来解决低版本的json_decode的问题，
但还是不能解析$json = '"125365"';这样的问题？

1，安装php5.2.xxx版本，得到其中的json.so动态链接库，然后复制到5.1.6的/usr/lib/php/modules里边，修改php.ini，extension=json.so，重启apache。

2，或者也可以自己写so，json和数组转换的蛮容易的

不推荐用class解析json，速度太慢