<!-- //
s1 = new Image();
s1.src = "/coverage/images/snav_ifh_on.gif";
s2 = new Image();
s2.src = "/coverage/images/snav_gh_on.gif";
s3 = new Image();
s3.src = "/coverage/images/snav_di_on.gif";
s4 = new Image();
s4.src = "/coverage/images/snav_si_on.gif";

function snavover(img) {
	imgOver = "/coverage/images/snav_"+img+"_on.gif";
	document.images[img].src = imgOver;
	}
	
function snavout(img) {
	imgOut = "/coverage/images/snav_"+img+".gif";
	document.images[img].src = imgOut;
	}

// -->