// マウスを上に置くと画像を入れ替える
function chImg(img, str) {
  document.images[img].src = str;
}





// ツリーメニュー
flag = false;
function treeMenu(tName) {
  tMenu = document.all[tName].style;
  if(tMenu.display == 'none') tMenu.display = "block";
  else tMenu.display = "none";
}
//-->





// 画像がクリックされたら画像を入れ替える
// img0.jpg,img1.jpgなどの数字が続いたファイルを複数用意します。
num = 2; // 入れ替える画像の枚数(最初の画像も含める)
nme = "image/library_01_00_" // 画像のディレクトリとファイル名の数字と拡張子より前の部分
exp = "gif" // 拡張子
cnt = 0;
function changeImage() {
  cnt++;
  cnt %= num;
  document.img.src = nme + cnt + "." + exp;
}