normimage = new Array();
rollimage = new Array();
rootname = "graphics/";
codes = new Array("hp","or","rm","hl","ew","pg","ms");

for (ival = 0; ival < codes.length; ++ival) {
	normimage[ival] = new Image();
	normimage[ival].src= rootname + "hnav_" + codes[ival] + "_n.gif";
	rollimage[ival] = new Image();
	rollimage[ival].src= rootname + "hnav_" + codes[ival] + "_r.gif";
}

  function swapout(num){
	document.getElementById('a' + num).src = rollimage[num].src;
    return true;
  }

  function swapback(num){
	document.getElementById('a' + num).src = normimage[num].src;
    return true;
  }