function setupMenu() {
	if (typeof(page) != "undefined" && page != "intro") {
		var page_menu = document.getElementById("menu-" + page);
		page_menu.src = "/images/menu/" + page + "_on.png";
	}
};

window.onload = function() {
	setupMenu();
};