menu_footer($no_menu, $is_index); echo "\n"; } ?>