<!--
function hideLayer(divId)
    {
    if (document.layers)
         { document.layers[divId].visibility = 'hide'; }
         
    else if (document.all)
         { document.all[divId].style.visibility = 'hidden'; }
         
    else if (document.getElementById)
         { document.getElementById(divId).style.visibility = 'hidden'; }
    }

//shows corresponding div
    
function showLayer(divId)
    {
    if (document.layers)
         { document.layers[divId].visibility = 'show'; }
         
    else if (document.all)
         { document.all[divId].style.visibility = 'visible'; }
         
    else if (document.getElementById)
         { document.getElementById(divId).style.visibility = 'visible'; }
    } 


function validateInt(iString) {
    // no leading 0s allowed
    return (("" + parseInt(iString)) == iString);
}

function getClientHeight() {
return parent.document.body && typeof parent.document.body.clientHeight != 'undefined' ?
parent.document.body.clientHeight :
window.innerHeight ? innerHeight : null;
}

function getClientWidth() {
return document.body && typeof document.body.clientWidth != 'undefined' ?
document.body.clientWidth :
window.innerWidth ? innerWidth : null;
}

function divWidth(name) {
   if (document.layers) return eval('document.'+name+'.document.width')
   if (document.all) return eval('document.all.'+name+'.offsetWidth')
   return document.getElementById(name).offsetWidth
}

function divHeight(name) {
   if (document.layers) return eval('document.'+name+'.document.height')
   if (document.all) return eval('document.all.'+name+'.offsetHeight')
   return document.getElementById(name).offsetHeight
}


function setSize(target)
{
 // this function resizes the framelayer-DIV
 var widthOffset      = 0;
 var heightOffset     = 122;
 var framelayerHeight = 0;
 var layoutHeight     = 0;
 
 layoutHeight 	  = document.getElementById("layout").offsetHeight;
 framelayerHeight = layoutHeight - heightOffset; 

 framelayerHeight = document.getElementById("layout").scrollHeight;

 //alert('Framelayerheight: '+framelayerHeight);

 // resize layer
 myObj = document.getElementById(target);
 myObj.style.height = framelayerHeight+"px";
}

function maximizeLayer(target)
{
 var widthOffset  = 6;
 var heightOffset = 4;
 
 var x;
 var y;
 
 if (self.innerHeight) // all except MS Explorer
 {
  x = self.innerWidth;
  y = self.innerHeight;
 }
 else if (document.documentElement && document.documentElement.clientHeight)
 // MS Explorer 
 {
  x = document.documentElement.clientWidth;
  y = document.documentElement.clientHeight;
 }
 else if (document.body) // other browsers
 {
  x = document.body.clientWidth;
  y = document.body.clientHeight;
 }
 
 // resize layer
 myObj = document.getElementById(target);
 myObj.style.height = y-heightOffset+"px";
 myObj.style.width  = x-widthOffset+"px";
}

function maximizeIFRAME(target)
{
 // this function resizes the framelayer-DIV
 var widthOffset      = 0;
 var heightOffset     = 118;
 var framelayerHeight = 0;
 var layoutHeight     = 0;
 
 layoutHeight 	  = document.getElementById("layout").offsetHeight;
 frameHeight = layoutHeight - heightOffset; 

 // resize layer
 myObj = document.getElementById(target);
 myObj.style.height = frameHeight+"px";
}
// -->