<!-- //*******************************************************************// popup(url,winx,winy)//// This function pops up a window which will open the specified // URL and sizes the window to winx by winy pixels. If the window// has already been opened it is brought into focus.//*******************************************************************var popWin;function popup(url,winx,winy){	if (popWin) popWin.close();	popWin = window.open("","popup","TOOLBAR=1,SCROLLBARS=1,WIDTH="+winx+",HEIGHT="+winy+",RESIZABLE=1");	popWin.location.href=url;	if(popWin.opener==null) popWin.opener=window;	popWin.opener.name="opener";	popWin.focus();}// -->