// JavaScript Document

<!-- 
function opennewwindow(url,descr,winwidth,winheight)
{
newwindow=window.open(url,descr,'toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,resizable=yes,copyhistory=no,width='+winwidth+',height='+winheight)
}
-->