pic_name=new Array();
    pic_name[1]="images/btn_home";
    pic_name[2]="images/btn_about";
    pic_name[3]="images/btn_story";
	pic_name[4]="images/btn_gallery";
	pic_name[5]="images/btn_memo";
	pic_name[6]="images/btn_mail";
	pic_name[7]="images/btn_shop";

    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]+"a.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;}