var min = 11;
var max = 20;

function changeFontSize (change)
{
  var element = new Array ();
  element [0] = document.getElementsByTagName ("p");
  element [1] = document.getElementsByTagName ("li");

  for (j = 0; j < element.length; ++j)
  {
    for (i = 0; i < element [j].length; i++)
    {
      if (element [j][i].style.fontSize) var s = parseInt (element [j][i].style.fontSize.replace ("px", ""));
      else var s = 13;
      if ((change == 1 && s != max) || (change == -1 && s != min)) s += change;
      element [j][i].style.fontSize = s + "px"
    }
  }
}

document.write ("<h1 id='header'><img src='pix/text1.gif' /><a href='#' onClick='changeFontSize (-1);'><img src='pix/text2.gif' /></a><a href='#' onClick='changeFontSize (1);'><img src='pix/text3.gif' /></a></h1>");