function bildwechsel(Bildnr, Bildobjekt) {
  window.document.images[Bildnr].src = Bildobjekt.src;
}

function statuszeile (text)
{
 window.status=text;
}
function verstecken (ID)
{
 if (document.getElementById)
 {
 elem=document.getElementById(ID);
 elem.style.visibility='hidden';
 elem.style.display='none';
 }
}
function zeigen (ID)
{
 var elem;
 if (document.getElementById)
 {
 elem=document.getElementById(ID);
 elem.style.visibility='visible';
 elem.style.display='block';

 }
}