function popup(url,windowName) {
	var breite = 800 - 12;
	var hoehe  = 600 - 31;
	popupWin = open(url, windowName, "height="     +hoehe+",width="     +breite+ ",left=150,top=112,location=no,resizable=yes,directories=no,menubar=no,status=no,toolbar=no,scrollbars=1,scrollbars=yes");
	if(popupWin)
		popupWin.focus();
}
function popupHttp(linkURL,windowName) {
	var myLinkName = "http://"  + window.location.hostname + getHttpPort() + linkURL;
	var breite = 800 - 12;
	var hoehe  = 600 - 31;
	popupWin = open(myLinkName, windowName, "height="     +hoehe+",width="     +breite+ ",left=150,top=112,location=no,resizable=yes,directories=no,menubar=no,status=no,toolbar=no,scrollbars=1,scrollbars=yes");
	if(popupWin)
		popupWin.focus();
}
function windowOpener(pfad,fensterName,breite,hoehe) {
	newWindow = window.open(pfad,fensterName,'width='+breite+',height='+hoehe+',screenX=0,screenY=0,top=0,left=0,scrollbars=no,locationbar=no,menubar=no,resizable=yes');
	if (newWindow)
		newWindow.focus();
}
function getHttpPort() {
  var port = window.location.port;
  if (!port) return port; // no port specified
  else if (window.location.protocol == "https:") port = parseInt(port) - 1; // httpPort = httpsPort - 1
  return (":" + port);
}