function init()
{
    // Resize Columns
    resizeColumns();

    window.onresize = function() {
        resizeColumns();
    }
}

function resizeColumns()
{
    // Get columnleft and columnright elements
    var columnleft = document.getElementById("columnleft");
    var columnright = document.getElementById("columnright");

    // Get left-visualPadding and right-visualPadding elements
    var leftVisualPadding = document.getElementById("left-visualPadding");
    var rightVisualPadding = document.getElementById("right-visualPadding");

    // Set the heights of these two padding divs to auto
    leftVisualPadding.style.height = "auto";
    rightVisualPadding.style.height = "auto";

    // Calculate max height of leftcontent and rightcontent
    var maxHeight=Math.max(columnleft.offsetHeight, columnright.offsetHeight);
	var x = document.getElementById("menu");
	x.style.height = (maxHeight - 20) + "px";

    // Set IE Fudge -- For some reason, IE7 works just fine, but IE6 is 19px off
    
    var IE_left = 17;
    var IE_right = 17;

    if (msieversion() == 6)
    {
        IE_left = 19;
    }

    //writeDebug( columnleft.offsetHeight + ", " + columnright.offsetHeight);
    
    // Set both heights to the same (max) value.  Note that we have to append "px" to the value.
    leftVisualPadding.style.height = (maxHeight - columnleft.offsetHeight + IE_left) + "px";
    rightVisualPadding.style.height = (maxHeight - columnright.offsetHeight + IE_right) + "px";

    //writeDebug(maxHeight + ": " + leftVisualPadding.style.height + ", " + rightVisualPadding.style.height);
    //writeDebug( columnleft.offsetHeight + ", " + columnright.offsetHeight + "<br><br>");
}

// This function returns Internet Explorer's major version number,
// or 0 for others. It works by finding the "MSIE " string and
// extracting the version number following the space, up to the decimal
// point, ignoring the minor version number
//
// From:
//     http://support.microsoft.com/kb/167820
//
// Note: Browser version sniffing is generally considered bad 

function msieversion()
{
    var ua = window.navigator.userAgent
    var msie = ua.indexOf ( "MSIE " )
    
    if ( msie > 0 )      // If Internet Explorer, return version number
        return parseInt (ua.substring (msie+5, ua.indexOf (".", msie )))
    else                 // If another browser, return 0
        return 0

}
