'; } function make_menu() { $place = $_GET['loc']; echo'