var DHTML = (document.getElementById || document.all || document.layers);

var texttop = 12;

function fontSize(amount)
{
        if (!DHTML) return;
                var x = new getObj('fontSize');
                texttop += amount;
                x.style.fontSize = texttop + "px";
}

function getObj(name)
{
  if (document.getElementById)
  {
        this.obj = document.getElementById(name);
        this.style = document.getElementById(name).style;
  }
  else if (document.all)
  {
        this.obj = document.all[name];
        this.style = document.all[name].style;
  }
  else if (document.layers)
  {
        this.obj = document.layers[name];
        this.style = document.layers[name];
  }
}
function reset()
{
    window.location.reload( false );
}