function fuente_cuerpo(tamaņo) {
  switch(tamaņo)
   {
    case "1":
     fuente = "11px";
     break;
    case "2":
     fuente = "14px";
     break;
    case "3":
     fuente = "16px";
     break;
   }
  document.getElementById("cuerpo").style.fontSize = fuente;
}