//* JavaScript Document by Thomas Andres, MSc. Dipl.-Ing. */
  function show(element){
  element.className += "hover";
  }
  function hide(element){
  element.className = element.className = "";
  }