// Browserabhängige Fenstergrößen
var isMinNS4 = (navigator.appName.indexOf("Netscape") >= 0 &&
                parseFloat(navigator.appVersion) >= 4 &&
                navigator.userAgent.indexOf('Gecko') == -1) ? 1 : 0;
function getWindowWidth(windowRef)
{
  var width = 0;
  if (!windowRef)
    windowRef = window; 
  if (typeof(windowRef.innerWidth) == 'number')
    width = windowRef.innerWidth;
  else if (windowRef.document.body && typeof(windowRef.document.body.clientWidth) == 'number')
    width = windowRef.document.body.clientWidth;     
  return width;
}
function getWindowHeight(windowRef)
{
  var height = 0;  
  if (!windowRef)
    windowRef = window;
  if (typeof(windowRef.innerWidth) == 'number')
    height = windowRef.innerHeight;
  else if (windowRef.document.body && typeof(windowRef.document.body.clientWidth) == 'number')
    height = windowRef.document.body.clientHeight;    
  return height;
}
function getPageHeight() {
  if (document.layers)
    return document.height;
  if (document.body && typeof(document.body.offsetHeight) == 'number')
    return document.body.offsetHeight;
  return -1;
}
  fullWidth = getWindowWidth() - (isMinNS4 && getWindowHeight() < getPageHeight() ? 16 : 0);
  regWidth = fullWidth - 184;   
function Go(){return;}