function checkmenu(menu,pid) {

    if ( menu == 'CATALOG' ) {
      if ( top.my_left.document.title != pid )
 	top.my_left.document.location.href='/left.php?r_makemenu=' + pid;	
    } else {
      if ( pid != null ) {
        if ( top.my_left.document.title != pid )
 	  top.my_left.document.location.href='/left.php?r_template=' + menu + '&r_makemenu=' + pid;	
      } else {
        if ( top.my_left.document.title != menu )
 	  top.my_left.document.location.href='/left.php?r_loadmenu=' + menu;
      }
    }
}