<!-- 
var fontSizeDefault = 11;

function cambiaFontSizeDiv(divObjName,op)
{
	var objDiv = document.getElementById(divObjName, op);
	if (op == "mas" || op == undefined) ++fontSizeDefault;
	else --fontSizeDefault;
	//
	if (fontSizeDefault < 9) fontSizeDefault = 9;
	if (fontSizeDefault > 18) fontSizeDefault = 18;
	//
	try {
		objDiv.style.fontSize= fontSizeDefault;
	} catch(e) {
		objDiv.style.fontSize = 10;
	}
}

function replaceCharSpecial(txt){
	if (txt == "") return "";
	txt = strReplace(txt, "[a]","&aacute;");
	txt = strReplace(txt, "[e]","&eacute;");
	txt = strReplace(txt, "[i]","&iacute;");
	txt = strReplace(txt, "[o]","&oacute;");
	txt = strReplace(txt, "[u]","&uacute;");
	txt = strReplace(txt, "[n]","&ntilde;");
	//
	txt = strReplace(txt, "[A]","&Aacute;");
	txt = strReplace(txt, "[E]","&Eacute;");
	txt = strReplace(txt, "[I]","&Iacute;");
	txt = strReplace(txt, "[O]","&Oacute;");
	txt = strReplace(txt, "[U]","&Uacute;");
	txt = strReplace(txt, "[N]","&Ntilde;");
	//
	txt = strReplace(txt, "[nro]","&ordm;");
	return txt;
}

function strReplace(s, r, w){
	return s.split(r).join(w);
}

 -->