Adding Custom Menu
Spending some time trying to find out this !
Sigh…
If you make additional menu and wants to put it in your theme, this is how to do it
<?php print theme('links', menu_navigation_links('menu-machine-readable-name'), array('id' => 'menu_id', 'class' => 'menu_class')); ?>