/*----------------------------------------------- */
/* グローバル変数の初期化 */
/*----------------------------------------------- */
/* バナー情報 */
var banners = new Array(
  {
    "src":"img/title_4.jpg"
  }, 
  {
    "src":"img/title_1.jpg"
  }, 
  {
    "src":"img/title_2.jpg"
  },
  {
    "src":"img/title_5.jpg"
  },
  {
    "src":"img/title_6.jpg"
  },
  {
    "src":"img/title_7.jpg"
  },
  {
    "src":"img/title_9.jpg"
  },
  {
    "src":"img/title_13.jpg"
  },
  {
    "src":"img/title_8.jpg"
  },
  {
    "src":"img/title_17.jpg"
  },
  {
    "src":"img/title_15.jpg"
  },
  {
    "src":"img/title_16.jpg"
  },
  {
    "src":"img/title_18.jpg"
  },
  {
    "src":"img/title_19.jpg"
  },
  {
    "src":"img/title_20.jpg"
  }
);

/* バナー表示ミリ秒 */
var banner_interval_ms = 5000;

/* タイマーID */
var banner_tid;
/* 現在表示すべきバナーのインデックス番号 */
var banner_index = 0;

/*----------------------------------------------- */
/* HTMLの初期化 */
/*----------------------------------------------- */
/* onloadイベント・リスナーをセット */
dom.event.addEventListener(window, 'load', initDocument);
/* HTML文書が読み込まれたときに実行させる処理 */
function initDocument() {
  /* 最初のバナーを表示 */
  changeBanner();
  /* タイマーセット */
  banner_tid = setInterval(changeBanner, banner_interval_ms);
}
/*----------------------------------------------- */
/* バナー表示処理 */
/*----------------------------------------------- */
function changeBanner() {
  /* 表示すべきバナーデータを取り出す */
  var data = banners[banner_index];
  /* バナーのIMGタグを変更 */
  var img = document.getElementById('banner_img');
  img.setAttribute('src', data['src']);
  /* バナー表示インデックスをインクリメント */
  banner_index ++;
  if(banner_index >= banners.length) {
    banner_index = 0;
  }
}