function changeClass(x,cls){
  x.className = cls;
}
function doit(x,tag,cls1,cls2){
  var El = x.parentNode.getElementsByTagName(tag).item(0);
  if( x.value == "+" ){
    changeClass(El,cls1);
    x.value = "-";
  } else {
    changeClass(El,cls2);
    x.value = "+";
  }
}

function copyNavi(copy){ // ナビゲーションバーをコピーする
  if( document.all ){
    copy.innerHTML = document.all.navigationBar.innerHTML;
  }
}