function h(i,s)
	{
	var e = document.getElementById("n" + i);

	$v = (s==1) ? "img/mainnav_hi.png" : "img/mainnav.png";

	if (e && i != c)
	e.setAttribute("src", $v);


	}