// JavaScript Document

function segnala(menu) {
		var menu = document.getElementById(menu);
		menu.style.backgroundColor="#b60027";	
	
}