function echo_r($x){
        echo '<pre>';
        print_r($x);
        echo '</pre>';
    }