// JavaScript Document

<!--
var dername = null;
function openWindow(url,weite,hoehe)
{ 
        if (dername == null || navigator.appName != "Netscape" || dername.closed)
        {
                opt  = "dependent=0,toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=1,resizable=1,width="+weite+",height="+hoehe+",copyhistory=0";
                if (navigator.appVersion.substring(0, 1) >= 4)
                {
                        xpos = 0;
                        ypos = 0;
                        opt += ",screenX="+xpos+",screenY="+ypos+",left="+xpos+",top="+ypos;
                }
                dername = window.open(url,"dername",opt);
                dername.focus();
        }
        else
        {
                dername.location = url;
                dername.focus();
        }
}
//-->
