// Try out new PEAR JSON encode