function pop(name, url, left, top, width, height, toolbar, menubar, statusbar, scrollbar, resizable)
{
  toolbar_str = toolbar ? 'yes' : 'no';
  menubar_str = menubar ? 'yes' : 'no';
  statusbar_str = statusbar ? 'yes' : 'no';
  scrollbar_str = scrollbar ? 'yes' : 'no';
  resizable_str = resizable ? 'yes' : 'no';
  window.open(url, name, 'left='+left+',top='+top+',width='+width+',height='+height+',toolbar='+toolbar_str+',menubar='+menubar_str+',status='+statusbar_str+',scrollbars='+scrollbar_str+',resizable='+resizable_str);
}

function sh_div(id,s)
{
    var div = document.getElementById(id);
    if( s == 2 )
        div.className = 'div-hidden';
    else if( s == 1 )
        div.className = 'div-visible';
    else
        div.className = ( div.className == 'div-visible' ? 'div-hidden' : 'div-visible' );
}