#! /usr/bin/php '; // var_dump( $xml ); // echo ''; echo json_encode ($xml); // -------------------------------------------------------------------- ?>