<?php echo $menu; ?>