function do_layout() {

  if (document.getElementById("all-page").clientHeight <= document.body.clientHeight) 
	{
	  document.getElementById("all-right").style.height = "100%";
		document.getElementById("all-left").style.height = "100%"
	}
};