function resize(){

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

}



}