var roller = 0;
var browser_ver = "Unknown";
browser_ver = navigator.userAgent;

var picorig = "";

if (browser_ver.indexOf("Mozilla/3") != -1) roller = "1";
else if (browser_ver.indexOf("Mozilla/4") != -1) roller = "1";


function pon(picnr)
{
if (roller == "1")
  {
pics = document[picnr].src;
picorig = pics;
picsneu = pics.replace(/_off\.gif/,"_on\.gif");
picsneu = picsneu.replace(/nav\/[a-z][a-z]/,"nav\/");
document[picnr].src=picsneu;
  }
}


function poff(picnr)
{
if (roller == "1")
  {
	document[picnr].src=picorig;
  }
}