function switchVersion(elem) {
  var head = document.getElementById("header");
  if (head) {
    if (head.style.display == 'none') {
      head.style.display = '';
      elem.innerHTML = '[printer friendly version]';
    } else {
      head.style.display = 'none';
      elem.innerHTML = '[normal version]';
    }
  }
  var menu = document.getElementById("menu");
  if (menu) {
    if (menu.style.display == 'none') {
      menu.style.display = '';
    } else {
      menu.style.display = 'none';
    }
  }
}