var min=8;
var max=18;
function MySize(f) {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("pt",""));
      } else {
         var s = 10;
      }
      if(s!=max) {
         s = f;
      }
      p[i].style.fontSize = s+"pt"
   }
}