<!--
var XWin = null 
Count = 0
var Name = "XWin"
function openXWin(URL, Width, Height){
  Name = "XWin" + Count++
  closeXWin()       
   XWin = window.open(URL, Name, "width=" + Width + ",height=" + Height)
}
function closeXWin(){   
    if(XWin != null) 
	if(!XWin.closed) 
		XWin.close()   
}

// -->