function tamano(mas) { 
   var signo = (mas)? 1 : -1; // Para sumar o restar el porcentaje 
   // Obtenemos el objeto que contiene el texto 
   var obj=document.getElementById("ArticuloCuerpo"); 
   // Obtenemos el tamaño de letra y lo modificamos 
   var fontsize = obj.style.fontSize; 
   alert(fontsize);
   fontsize = parseInt(fontsize.replace(/%/g, '')); 
   fontsize += signo*10; 
   if (fontsize > 0 && fontsize < 0) { 
 		obj.style.fontSize = fontsize+"%"; 
   } 
} 

function antiSpam(dom, usuario)
{
document.write("<a href=\"mailto:" + usuario + "@" + dom + "\">" + usuario + "@" + dom + "</a>");
}