/* <![CDATA[ */

function show(element) {
  document.getElementById(element).style.display = "block";
}
function hide(element) {
  document.getElementById(element).style.display = "none";
}
function on(nr) {
  document.getElementById(nr).style.fontWeight = "bold";
}
function off(nr) {
  document.getElementById(nr).style.fontWeight = "normal";
}
function underline(element) {
  document.getElementById(element).style.textDecoration = "underline";
}
function deline(element) {
  document.getElementById(element).style.textDecoration = "none";
}

/* ]]> */