// getLongest returns the height of each div defined
function getLongest_1() {
    colLength = new Array(2);
    colLength[0] = document.getElementById("navigationLayer").offsetHeight;
    colLength[1] = document.getElementById("mainLayer").offsetHeight;
    colLength.sort(sortNumeric);
    colLength.reverse();
    return colLength[0];
}

// setLongest sets all the divs defined below to the div with the tallest height
function setLongest() {
    divLen = getLongest_1();
    document.getElementById("navigationLayer").style.height = divLen + "px";
    document.getElementById("mainLayer").style.height = divLen + "px";
}
function sortNumeric(a, b) {
    return a - b
}