var linkpics=new Array(6);
  for (i=0;i<7;i++) {
    linkpics[i]=new Image();
	}

  linkpics[0].src='images/homelink.jpg';
  linkpics[1].src='images/bartlink.jpg';
  linkpics[2].src='images/memberslink.jpg';
  linkpics[3].src='images/researchlink.jpg';
  linkpics[4].src='images/facilitieslink.jpg';
  linkpics[5].src='images/pubslink.jpg';
  
  function changeImages(picname,picsrc) {
	document.images[picname].src=picsrc;
	}