include("../inc/defines.php"); include("../inc/sessioninit.php"); $b_id = get_id_from_server_name(); if (empty($b_id )) { $location = "http://www.jobkontor.info"; header("Location: $location"); } ?>