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