function glow (element) {
  if (element.markup!="1") element.className = "glow";
}

function unglow (element,klasse) {
  if (element.markup!="1") element.className = klasse;
}

function mark(element, markup, klasse) {

  if (markup=="0") {
    element.className = "mark";
    element.markup = "1";
  }
  else {
    element.className = klasse;
    element.markup = "0";
  }
}

function showHelp(text) {
  //parent.frames['infobox'].document.infobox.innerHTML=text;
}