function gomenu(page) {
	document.location = page;
}

function menu_on(obj) {
	obj.style.background = "#FFEF5F";
	obj.style.color = "Black";
}

function menu_off(obj) {
	obj.style.background = "#003399";
	obj.style.color = "White";
}