function hover(hov) {
    document.getElementById(tmphover).style.display = "none";
    document.getElementById(hov).style.display = "block";
    tmphover = hov;
  }

  function change_language(inhalt,catid) {
    top.location.href = "?lang="+inhalt+"&catid="+catid;
  }

  function cpza(id_za) {
    //alert(document.getElementById(id_za).innerHTML);
    window.clipboardData.setData('Text', document.getElementById(id_za).innerHTML)
  }