function sidebar1Resize(){
	if (document.getElementById('sidebar1').offsetHeight 
	< document.getElementById('mainContent').offsetHeight)
	{
	document.getElementById('sidebar1').style.height=
	(document.getElementById('mainContent').offsetHeight + 20)+"px";
	}
}