http://".$_SERVER['SERVER_NAME']; echo "$prefix/"; echo "\n"; echo "\n"; // How long did that take? $ftime = gettimeofday(); $time = round(($ftime[sec] + $ftime[usec] / 1000000) - ($stime[sec] + $stime[usec] / 1000000), 5); echo "
This page was generated in $time seconds.
\n"; ?>