function goLink(wohin) {
  window.document.location.href=wohin;
}


function changecur(what){
  if (document.all&&document.body.getAttributeNode)
  document.body.style.cursor="hand"
}


function wxlBgCol(id,farbe) {
   if (document.all)
      document.all[id].style.backgroundColor=farbe;
   else
      if (document.getElementById)
         document.getElementById(id).style.backgroundColor=farbe;
      else
         if (document.layers)
            document.layers[id].bgColor=farbe;
}