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=116';
}
function setTopMenu(section) {
  classes.topMenu.a.color = "red";
}