var a = new Array();
var b = new Array();
var i;
for (i = 0; i < a.length; i++) {
	b[i] = new Image();
	b[i].src = a[i];
	} 


window.onload = function () {
	sizeMc = document.getElementById("maincontent").offsetHeight;
	if (sizeMc > 450) document.getElementById("navigation").style.height = ""+sizeMc+"px";
	else document.getElementById("navigation").style.height = "450px";
}