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