<?php
    if (theme_get_option('theme_use_default_menu')) {
        wp_nav_menu( array('theme_location' => 'primary-menu-@id') );
    } else {
        theme_hmenu_@(id)();
    }
?>