var name = null;
var file = null;
var winwidth = null;
var winheight = null;
var hwnd = null;

function launch(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()}}


function scroll(file,name,winwidth,winheight)
{var string="width="+winwidth+",height="+winheight+"toolbar=no,directories=no,scrollbars=yes,menubar=no,resizable=no,dependent=yes"
hwnd = window.open(file,name,string) ;
if (navigator.appName == "Netscape") {hwnd.focus()}}