function spotMenuClick(index) {
  for(i=1; i<=4; ++i) {
    document.getElementById('spotMenu' + i).className = (i == index) ? 'spotMenuHigh' : 'SpotMenuNorm';
    document.getElementById('spot' + i).className = (i == index) ? 'show' : 'hide';
  }
}