500 && $w < 1500) { $_SESSION["w"] = $w; header('Location: map-menu.php'); } if (empty($_SESSION["instructions_seen"])) { print "