// Display the highlighted version of the page logo.
function showHighlightLogo()
{
	document.logo.src = logos[1].src;
	return true;
}


// Display the normal version of the page logo.
function showNormalLogo()
{
	document.logo.src = logos[0].src; 
	return true;
}


// Create an array to store the two version of the page logo.
var logos    = new Array();
logos[0]     = new Image();
logos[0].src = "logo.jpg";
logos[1]     = new Image();
logos[1].src = "logo.highlighted.jpg";

// Add the initial logo to the page.
document.write("<img name=\"logo\" src=\"logo.jpg\" onmouseover=\"return showHighlightLogo();\" onmouseout=\"return showNormalLogo();\" alt=\"Teresa J. Parker\" />");