function highlight(whichlink){
	 document.getElementById(whichlink.id).src = 'images/' + whichlink.id + 'over.gif';
}
function lowlight(whichlink){
	 document.getElementById(whichlink.id).src = 'images/' + whichlink.id + '.gif';
}