function main(){

if (document.getElementById("content").offsetHeight > document.getElementById("navigation").offsetHeight)
{
document.getElementById("navigation").style.height = document.getElementById("content").offsetHeight -14 + "px";
}
}