if (navigator.appVersion.substring(0,1) >= 3) {

    banner1 = new Image;
    banner1.src = "/images/pravy1.jpg";
    bannerover1 = new Image;
    bannerover1.src = "/images/pravy1_2.gif";

    banner2 = new Image;
    banner2.src = "/images/pravy2.jpg";
    bannerover2 = new Image;
    bannerover2.src = "/images/pravy2_2.gif";

    banner3 = new Image;
    banner3.src = "/images/pravy3.jpg";
    bannerover3 = new Image;
    bannerover3.src = "/images/pravy3_2.gif";
	}

	function navmouseover(imgid,imgnew) {
	        if (navigator.appVersion.substring(0,1) >= 3) {
	              document.images[imgid].src=eval(imgnew + ".src");
	        }
	}