// JavaScript Document
<!-- 


function img_roll(name,state)
{   
	if (document.images)
	{
		document.images[name].src = "/img/nav/" + name + "." + state + ".gif";
	}
}

// -->