"4.1.0") ? $_SERVER[SERVER_NAME] : $HTTP_SERVER_VARS[SERVER_NAME]; header("Location: /pages/restaurant-launceston-courtyard-room-bar.html"); ?>