<!--
{
	previous_on = new Image(43,33);
	previous_on.src = "bits/previous_on.gif";
	previous_off = new Image(43,33);
	previous_off.src = "bits/previous_off.gif";
	next_on = new Image(43,33);
	next_on.src = "bits/next_on.gif";
	next_off = new Image(43,33);
	next_off.src = "bits/next_off.gif";
	strip_on = new Image(111,31);
	strip_on.src = "bits/strip_on.gif";
	strip_off = new Image(111,31);
	strip_off.src = "bits/strip_off.gif";
}

function SwitchGif(imgDocID,ImgObjName) { 
	if (navigator.appName== "Netscape" && parseInt(navigator.appVersion) >= 3) 
		document.images[imgDocID].src = eval(ImgObjName + ".src");
	else if (navigator.appName != "Netscape" && parseInt(navigator.appVersion) >= 4) 
		document.images[imgDocID].src = eval(ImgObjName + ".src");
}
// End -->