if(document.images) {
	navpic = new Array();
	navpic[0] = new Image();
	navpic[0].src = './logo/noarrow.gif';
	navpic[1] = new Image();
	navpic[1].src = './logo/arrow.gif';
	navpic[2] = new Image();
	navpic[2].src = './logo/leftcorner.gif';
	navpic[3] = new Image();
	navpic[3].src = './logo/nocorner.gif';
}

function nav_hilo(num,imgname) {
  if(document.images) {
    imgname.src = navpic[num].src;
  }
}