'; echo $menu; ?>