function doOnload() {
				thecontent = document.getElementById("thecontent");
				themenu = document.getElementById("themenu");
				themenu.style.height = (thecontent.offsetHeight) + "px";
			}