$menu = $_GET['menu']; ?>