var imageForMouseOff="graphics/hollowBlueTriangle.gif";
var imageForMouseOn="graphics/solidBlueTriangle.gif";
window.onerror = stopError;

function mouseOn (img)  	{document.images[img].src = imageForMouseOn;};
function mouseOff (img) 	{document.images[img].src = imageForMouseOff;};
function changePage(newPage){var newLocation=newPage+".htm";window.location=newLocation};
function stopError() 		{ return true;};