// JavaScript Document

function menu(seccion) {
	document.getElementById(seccion).className='seccion_activa'; 
}