function upSize()
  {
   var max = 36
   size = parseInt(document.getElementById("text").style.fontSize)
   if (size < max) {
    size = size + 4
   }
   document.getElementById("text").style.fontSize = size + "pt"
  }

function downSize()
  {
   var min = 10
   size = parseInt(document.getElementById("text").style.fontSize)
   if (size > min) {
    size = size - 4
   }
   document.getElementById("text").style.fontSize = size + "pt"
  }

function pstspopup(url){
    window.open(url,"","toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=yes,width=500,height=550");
}