function switchTabs(on,off) {
  document.getElementById(off).style.display='none';
  document.getElementById(on).style.display='';
  document.getElementById(off+'-fold').className='fold';
  document.getElementById(on+'-fold').className='fold-active';
}