"Caucho", "b"=>"Resin", "c"=>"Quercus"); $json = json_encode($array); ?>