function open_window(html_url,w,h,window_name){
         newWin = window.open(html_url,window_name,
                              "width="+w+",height="+h+",scrollbars=1,status=0,resizable=yes");
}
function open_window2(html_url,w,h,window_name){
         newWin = window.open(html_url,window_name,
                              "width="+w+",height="+h+",scrollbars=0,status=0,resizable=yes");
}
function quick_navi() {
   var popup_obj=document.urlctrl.sub_menu;
   var htmlf=popup_obj.options[popup_obj.selectedIndex].value;
   if(htmlf!="#"){ location.href=htmlf; }
}