<!-- hide JavaScript from non-JavaScript browsers
//

function onLoad()
{
	var main = document.getElementById("main");
	var navside = document.getElementById("navside");

	if (main.offsetHeight < 555)
	{
		main.style.height = "555px";
	}

	navside.style.height = "" + main.offsetHeight + "px";
}

// -->