Editing menu items on the fly in Drupal?

Question

I have a menu item called "Inbox" on a menu called "dealer-menu". I want to change "Inbox" to "Inbox (1)" or "Inbox (2)" depending on the number of messages the user has in his inbox. How do I change the value ON THE FLY. I.e. on every page refresh?

Answer 1

I ended up solving it like this:

$dealerMenu = menu_navigation_links('menu-dealer-menu');
$menu = theme('links', $dealerMenu);
print str_replace("Inbox", "Inbox (".get_number_of_messages_in_inbox().")", $menu);