<!-- 
 
// next is same def as launch, but different name; 
// rwnin = resizable window:
function rwin(file,name,winwidth,winheight) 
{ 
var string="width="+winwidth+",height="+winheight+"toolbar=no,directories=no,menubar=no,resizable=yes,dependent=yes" 
hwnd = window.open(file,name,string) ; 
          if (navigator.appName == "Netscape") { 
             hwnd.focus() 
          } 
}  

// nrplainwin = nonresizable window:
function nrwin(file,name,winwidth,winheight)
{
var string="width="+winwidth+",height="+winheight+"toolbar=no,directories=no,menubar=no,resizable=no,dependent=yes"
hwnd = window.open(file,name,string) ;
          if (navigator.appName == "Netscape") {
             hwnd.focus()
          }
}
 
//--> 
 
// nrwin = nonresizable window:
function nrwin(file,name,winwidth,winheight)
{
var string="width="+winwidth+",height="+winheight+"toolbar=yes,directories=yes,menubar=yes,resizable=no,dependent=yes,location=yes,status=yes"
hwnd = window.open(file,name,string) ;
          if (navigator.appName == "Netscape") {
             hwnd.focus()
          }
}

//-->