// JavaScript Document

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

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