function setupNav()
{
	navarr=document.getElementById("nav").getElementsByTagName("a");
	for(i=0; i<navarr.length; i++)
		{
			if(document.URL.indexOf(navarr[i].href)!=-1)
			{
				highlighthover(navarr[i]);
			}
		}
	if(document.URL.indexOf(".html")==-1)
		highlighthover(navarr[0]);
}

function highlighthover(thisimage)
{
	thisimage=thisimage.getElementsByTagName("img")[0];
	if(thisimage.src.indexOf("w.gif")==-1)
		thisimage.src=thisimage.src.replace(/.gif/, "w.gif");
}