function switch_image(target, src) {
      // 画像の src を切り替える。
      var image = document.getElementById("bt");
      image.src = src;
}