'; var_export($_SERVER); echo '';*/ ?>