Mere kompakt js, json_encode