function setMenuHeight(){
	var menu = document.getElementById("page-menu");
	var page = document.getElementById("page");
	
	if(menu){
		menu.style.height = page.offsetHeight + "px";
	}
}

function initPage(){
	setMenuHeight();
}