function calcHeight()
{
    var winSize = getWindowSize();
    var content2Height = winSize['height'] - 216;
    if ($('content2').offsetHeight < content2Height)
    {
        $('content2').style.height = (content2Height) + 'px';
    }
	else
    {
        //alert('Hoogte content2: ' + $('content2').offsetHeight);
    }
}

//
// Function getWindowSize
//
// Get the height and the width of the browser window, whatever browser it is
//
// Returns: dimensions - array containing the height and width of the window
//
function getWindowSize()
{
    // Get the height and width of the browser window
    var myWidth = 0;
    var myHeight = 0;
    if( typeof( window.innerWidth ) == 'number' )
    {
        //Non-IE
        myWidth = window.innerWidth;
        myHeight = window.innerHeight;
    }
    else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) )
    {
        //IE 6+ in 'standards compliant mode'
        myWidth = document.documentElement.clientWidth;
        myHeight = document.documentElement.clientHeight;
    }
    else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) )
    {
        //IE 4 compatible
        myWidth = document.body.clientWidth;
        myHeight = document.body.clientHeight;
    }

    // Put them in an array
    var dimensions = new Array();
    dimensions['height'] = myHeight;
    dimensions['width'] = myWidth;
    
    // Return the array
    return dimensions;
}



//
// Function $
//
// Shortcut function to get an element by it's ID
//
// Input: id - the id of the document element (has to be unique!)
// Returns: the DOM element with the input id as id
//
function $(id)
{
    return document.getElementById(id);
}