function JB_show_menu(&$menu)
{
    static $menu_count;
    $MM =& get_JBMenuMarkup_object();
    $MM->menu_start($menu_count);
    $active_button = JB_show_menu_buttons($menu);
    $MM->menu_end();
    if (!$menu_count) {
        $menu_count = 1;
    }
    $menu_count++;
}
function JB_show_menu($menu)
{
    $active_button = JB_show_menu_buttons($menu);
    return $active_button;
}