// JavaScript Document

function activar_menu( menu ) {
	document.getElementById( menu ).className = 'active';
}