function menu_on(whatmenu)
{
	var m = document.getElementById(whatmenu);
	m.style.backgroundPosition = '0px 0px';
}
function menu_off(whatmenu)
{
	var m = document.getElementById(whatmenu);
	m.style.backgroundPosition = '-200px 0px';
}