"4.1.0") ? $_SERVER[SERVER_NAME] : $HTTP_SERVER_VARS[SERVER_NAME]; header("Location: /pages/restaurant-launceston-brasserie.php"); ?>