<!--	pic_name=new Array();	pic_name[0]="images/navi/shaft";	pic_name[1]="images/navi/product";	pic_name[2]="images/navi/company";	pic_name[3]="images/navi/staff";	pic_name[4]="images/navi/contact";	pic1=new Array();	pic2=new Array();	for(i=0; i<pic_name.length; i++){		pic1[i]=new Image();		pic1[i].src=pic_name[i]+".gif";		pic2[i]=new Image();		pic2[i].src=pic_name[i]+"2.gif";}	function mouse_in(dotti)		{document.images["link"+dotti].src=pic2[dotti].src;}	function mouse_out(dotti)		{document.images["link"+dotti].src=pic1[dotti].src;} //-->
