<!--

function togglesubnav() {
  if (subnavopen)
    document.getElementById('subnav').style.display='none';
  else
    document.getElementById('subnav').style.display='inline';
  subnavopen=!subnavopen;
}

var subnavopen = false;

// -->