if (document.images) {
		img1 = new Image(); img1.src = "img/map.gif";
		}
		function setImage(img, image) {
			if (img) {
				img.src = image;
			}
		}