// JavaScript Document

function jsCambiarCss(int_menu, str_clase) {
	document.getElementById('id_menu' + int_menu).className = str_clase;
}