agent = navigator.userAgent
browserVer = 2
if (agent.indexOf("a/2",6) != -1) {browserVer = 2}
else {browserVer = 1}
if (browserVer == 1) {
	image0 = new Image();
	image0.src = "../immagini/trasparent.gif";
	image1 = new Image();
	image1.src = "../immagini/barra_mn_sup.gif";
	image2 = new Image();
	image2.src = "../immagini/barra_mn_sx.gif";
	}
function replaceImage(imgDocID,imgObjName) {
	if (browserVer == 1) {
	document.images[imgDocID].src = eval(imgObjName + ".src")
}}