\n"); echo("Google NIX: ".pingAtPort("www.google.de", 1234)."
\n"); ?>