= 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; ?>