/* safari search field
----------------------------------------- */
var isSafari = ((parseInt(navigator.productSub)>=20020000) && (navigator.vendor.indexOf("Apple Computer")!=-1));
function safariSearchField() {
	if (!document.getElementById) return;
	var theSearchField = document.getElementById('searchField');
	var theSearchFieldTop = document.getElementById('searchFieldTop');
	if (isSafari) {
		theSearchField.setAttribute('type', 'search');
		theSearchField.setAttribute('results', '5');
		//theSearchField.setAttribute('placeholder', '');
	}
}
window.onload = safariSearchField;

/* random images main
----------------------------------------- */
function randomImage() {
	num = Math.random()*3;
	num = Math.floor(num)+1;
	document.write('<img src="img/top_visual'+num+'.jpg" border="0" alt="LE CHANTIER" />');
	}

/* random images sub
----------------------------------------- */
NoMem = new Array();

function RndmNo(n){
x=Math.floor(Math.random()*6);//「Math.random()*6」の"100"は、用意している画像ファイルの枚数を指定
if (NoMem.length){
for (j=0; j<NoMem.length; j++){
if (NoMem[j]==x){ RndmNo();}
}
}
NoMem[n]=x;
}

for (k=0; k<6; k++){
RndmNo(k);
}
//以上、乱数を生成して配列に格納。

RndImg= new Array();

for (i=0; i<6; i++){
RndImg[i]= new Image();
RndImg[i].src="img/top_visual_sub"+NoMem[i]+".jpg";
//「"images/image"」には画像ファイルへのパスの共通部分を、「".jpg"」には画像ファイルに共通の拡張子を入れます
}
//イメージオブジェクトとして表示する画像を取得

function ImgDisp(){
document.images["imgs0"].src=RndImg[0].src;
document.images["imgs1"].src=RndImg[1].src;
document.images["imgs2"].src=RndImg[2].src;
document.images["imgs3"].src=RndImg[3].src;
document.images["imgs4"].src=RndImg[4].src;
document.images["imgs5"].src=RndImg[5].src;
}

window.onload=ImgDisp;

function ImgDisp2(){
document.write('<img src="*" name="imgs0" border="0" alt="LE CHANTIER1" width="69" height="68" class="img_margin">');
document.write('<img src="*" name="imgs1" border="0" alt="LE CHANTIER2" width="69" height="68" class="img_margin">');
document.write('<img src="*" name="imgs2" border="0" alt="LE CHANTIER3" width="69" height="68" class="img_margin">');
document.write('<img src="*" name="imgs3" border="0" alt="LE CHANTIER4" width="69" height="68" class="img_margin">');
document.write('<img src="*" name="imgs4" border="0" alt="LE CHANTIER5" width="69" height="68" class="img_margin">');
document.write('<img src="*" name="imgs5" border="0" alt="LE CHANTIER6" width="69" height="68">');
}


function swapImage(id) {
	var o = document.getElementById(id);
	o.firstChild.style.backgroundPosition = "left bottom";
}

function returnImage(id) {
	var o = document.getElementById(id);
	o.firstChild.style.backgroundPosition = "left top";
}