function setFontSizeSml()
  {
  document.getElementById("pageText").style.fontSize="10";
  }

function setFontSizeMed()
  {
  document.getElementById("pageText").style.fontSize="12";
  }
  
  
function setFontSizeLrg()
  {
  document.getElementById("pageText").style.fontSize="14";
  }