function widths()
{
	document.getElementById("leftpane").style.width="20%";
	document.getElementById("rightpane").style.width="20%";
	document.getElementById("leftfoot").style.width="20%";
	document.getElementById("rightfoot").style.width="20%";
}