function lightup(img, path) {
	img.src = path + "_ov.png";
        }
        function turnoff(img, path){
        img.src = path + ".png";
        }