<!--
//ユーザが設定する変数----------------------------------
  //元来の画像配列
  orign_array = new Array();
  orign_array[0] = new Image(); orign_array[0].src = "./button/e_off.png";
  orign_array[1] = new Image(); orign_array[1].src = "./button/i_off.png";
  orign_array[2] = new Image(); orign_array[2].src = "./button/b_off.png";
  orign_array[3] = new Image(); orign_array[3].src = "./button/v_off.png";
  orign_array[4] = new Image(); orign_array[4].src = "./button/activity_off.png";
  orign_array[5] = new Image(); orign_array[5].src = "./button/other-staff_off.png";
  orign_array[6] = new Image(); orign_array[6].src = "./button/students_off.png";

  //変更後の画像配列
  image_array = new Array();
  image_array[0] = new Image(); image_array[0].src = "./button/e_on.png";
  image_array[1] = new Image(); image_array[1].src = "./button/i_on.png";
  image_array[2] = new Image(); image_array[2].src = "./button/b_on.png";
  image_array[3] = new Image(); image_array[3].src = "./button/v_on.png";
  image_array[4] = new Image(); image_array[4].src = "./button/activity_on.png";
  image_array[5] = new Image(); image_array[5].src = "./button/other-staff_on.png";
  image_array[6] = new Image(); image_array[6].src = "./button/students_on.png";
//------------------------------------------------------

flag = new Array();
for (i=0; i<image_array.length; i++) { flag[i] = 0; }

function image_change (id, num){
  if (image_array.length == orign_array.length) {
    if (flag[num] == 0) {
      document.getElementById(id).setAttribute("src", image_array[num].src);
      flag[num] = 1;
    } else if (flag[num] == 1) {
      document.getElementById(id).setAttribute("src", orign_array[num].src);
      flag[num] = 0;
    }
  }
}
-->