// JavaScript Document

function m_b_over(button) {
	//button.style.backgroundPosition="0px -25px";
	button.style.color = "#000000";
	button.style.backgroundColor = "#FDFD8B";
	}

function out(button) {
	//button.style.backgroundPosition="0px 0px";
	button.style.color = "#FDFD8B";
	button.style.backgroundColor = "#000000";
	}

function show_menu(menu) {
	document.getElementById(menu).style.visibility = 'visible';
}

function hide_menu(menu) {
	document.getElementById(menu).style.visibility = 'hidden';
}