var img = new Array;
	img[0] = "img/tom235r.jpg";
	img[1] = "img/tom235m.jpg";
	img[2] = "img/tom179top.jpg";
	function random_img(){
        var i = myrandom(img.length) - 1;
        document.write("<IMG SRC=\""+img[i]+"\" alt=\"エントランスＣＧ（ランダム切替）\" height=\"400\" width=\"300\" border=\"0\">");
	}
	function myrandom(max){
        var v = max * Math.random();
        if(v == 0.0){v = 1;}else{v = Math.ceil(v);}
        return v;
	}