function showinfo (infodivid) {
  if (document.getElementById)
    document.getElementById(infodivid).style.visibility = "visible";
}

function hideinfo (infodivid) {
  if (document.getElementById)
    document.getElementById(infodivid).style.visibility = "hidden";
}

function bildwechsel (bildname, bilddatei) {
  if (document.images)
    document.images[bildname].src="" + bilddatei;
}

function showinfox (infodivid) {
  if (document.getElementById)
    document.getElementById(infodivid).style.display = "inline";
}

function hideinfox (infodivid) {
  if (document.getElementById)
    document.getElementById(infodivid).style.display = "none";
}