window.onload = startup;



function startup(){
	// set the menu
	var menu = document.getElementById("menuLinks");
	var placement = document.getElementById("menu");

	placement.innerHTML = menu.innerHTML;


}