'; print_r($x); echo ''; } function dump($x) { echo '
';
    var_dump($x);
    echo  '
'; }