// JavaScript Document

//Función que realiza el despliegue de menú según la elección del usuario
function DeployList(id){

	document.getElementById(id).className = "deployUL";
}