theme menus

Hi everyone,

Would anyone happen to know of anyway to tell what the menu name is while using theme_menu_tree? I need something like this to test against for theming purposes.

themename_menu_tree($tree){
If($menu_name == 'navigation'){
//do something different
}else{
//or return the standard output
return '

<?php
print $tree
?>

';
}
}