"; echo "
"; echo " "; echo $page_string; echo ""; echo "  "; echo "
"; echo ""; echo ""; } function getUrl() { $url="http://".$_SERVER["HTTP_HOST"]; if(isset($_SERVER["REQUEST_URI"])){ $url.=$_SERVER["REQUEST_URI"]; } else { $url.=$_SERVER["PHP_SELF"]; if(!empty($_SERVER["QUERY_STRING"])){ $url.="?".$_SERVER["QUERY_STRING"]; } } return $url; } function GoTo($url) { echo ""; exit; } function Alert($str) { echo ""; exit; } function AlertGo($str,$back) { echo ""; GoTo($back); } ?>