= 6) { $menu_name = variable_get('menu_default_node_menu', 'primary-links'); $tree = menu_tree_page_data($menu_name); echo art_menu_tree_output_d6($tree); } else { echo art_menu_tree_output_d5(variable_get('menu_primary_menu',0)); } ?>
'; endif; ?> '. $tabs2 .''; endif; ?> ' . $mission . '
'; endif; ?>