agent = navigator.userAgent

browserVer = 1

if (agent.indexOf("a/3",6) != -1) 
{
	browserVer = 1
}

else 
{
   if (agent.indexOf("a/4",6) != -1)    {browserVer = 1}
}

if (browserVer == 1) {

			navi_off=new Image;
			navi_off.src="images/navi_off.gif";
			navi_on=new Image;
			navi_on.src="images/navi_on.gif";

			subnavi_off=new Image;
			subnavi_off.src="images/subnavi_off.gif";
			subnavi_on=new Image;
			subnavi_on.src="images/subnavi_on.gif";

}

function change(imgDocID,imgObjName)
{
	document.images[imgDocID].src = eval(imgObjName + ".src");
}