// JavaScript Document

function despliegaMenu(elemento)
	{
		window.document.getElementById(elemento).className = elemento + "Des";	
	}
	
function repliegaMenu(elemento)
	{
		window.document.getElementById(elemento).className = elemento;	
	}
	
function cambiaFondoBoton(boton)
	{
		window.document.getElementById(boton).className = "botonMenuOver";
	}
	
function retornaFondoBoton(boton)
	{
		window.document.getElementById(boton).className = "botonMenu";
	}