//code for menu included in vert_menu.php