function overMenu(menu) { 
	m = document.getElementById(menu);
	m.style.backgroundImage = 'url(img/fondo_menu_hover.gif)';
}
function outMenu() { m.style.backgroundImage = ''; }