if (document.getElementById) {
	var e1 = document.getElementById('navbar');
	var e2 = document.getElementById('main');
	if ((e1) && (e2))
		e1.style.height = Math.max(e1.offsetHeight,e2.offsetHeight) + 'px';
}