<!--
/*
	This script changes the main image on the home page.
*/
function mainIndex()
{
	TimerObject = setTimeout( document.getElementById('mainIndex').src = "../images/mainIndex2.gif", 5000 );
}
-->