// JavaScript Document
function menuMudaClass (classe, obj) {
	document.getElementById(obj).className = classe;
} // fecha function mudaClass (classe, obj) {