if (document.images)
      {
	// Active images
	button1on = new Image();
	button1on.src = "images/but1sel.gif";
	button2on = new Image();
	button2on.src = "images/but2sel.gif";
	button3on = new Image();
	button3on.src = "images/but3sel.gif";
	button4on = new Image();
	button4on.src = "images/but4sel.gif";
	button5on = new Image();
	button5on.src = "images/but5sel.gif";
	button6on = new Image();
	button6on.src = "images/but6sel.gif";
	button7on = new Image();
	button7on.src = "images/but7sel.gif";
	button8on = new Image();
	button8on.src = "images/but8sel.gif";
	button9on = new Image();
	button9on.src = "images/but9sel.gif";

	// Inactive images
	button1off = new Image();
	button1off.src = "images/but1norm.gif";
	button2off = new Image();
	button2off.src = "images/but2norm.gif";
	button3off = new Image();
	button3off.src = "images/but3norm.gif";
	button4off = new Image();
	button4off.src = "images/but4norm.gif";
	button5off = new Image();
	button5off.src = "images/but5norm.gif";
	button6off = new Image();
	button6off.src = "images/but6norm.gif";
	button7off = new Image();
	button7off.src = "images/but7norm.gif";
	button8off = new Image();
	button8off.src = "images/but8norm.gif";
	button9off = new Image();
	button9off.src = "images/but9norm.gif";
      }

      function imgOn(imgName)
      {
	if (document.images)
	{
	  document[imgName].src = eval(imgName + "on.src");
	}
      }

      function imgOff(imgName)
      {
	if (document.images)
	{
	  document[imgName].src = eval(imgName + "off.src");
	}
      }