<!--
// preload images:
if (document.images) {
inputbutton = new Image(20,10); inputbutton.src="inputbutton.gif";
inputbuttonb = new Image(20,10); inputbuttonb.src="inputbuttonb.gif";
inputbuttonc = new Image(20,10); inputbuttonc.src="inputbuttonc.gif";
}

function hiLite(imgName,imgObjName) {
if (document.images) {
  document.images[imgName].src= eval(imgObjName + ".src");
}}


//-->