function show_def(defword) {
  window.open('def.shtml?cmd[39]=c-1-'+defword,defword,'width=350,height=200,scrollbars=yes');
}

function printable() {
  document.location = 'print.shtml?x=71';
}

function setTopMenu(section) {
  classes.topMenu.a.color = "red";
}