// JavaScript Document
if (document.images) {
	img1 = new Image(); img1.src = "images/carriermap/docomosh.png";
	img2 = new Image(); img2.src = "images/carriermap/aush.png";
	img3 = new Image(); img3.src = "images/carriermap/softbanksh.png";
	img4 = new Image(); img4.src = "images/carriermap/chuukosh10.png.png";
}
function setImage(img, image) {
   if (img) {
      img.src = image;
   }
}