'; print_r($_SERVER); echo ''; ?>