if (!$menu) { $menu = 1; } ?>
";