//Diese Funktionen werden nur in unten.html gebraucht

function zeige_punkt(nummer){

//Bei NS wird der Punkt ausgetauscht, bei IE zusaetzlich die Schriftfarbe
      
      document.images['unten_bild_'+nummer].src = "bilder/punkt.gif";
                 
      if (top.isIE) {              
      //Text-Farbe-Austausch         
      window.document.getElementById('unten_id_'+nummer).style.color='#D03400';      
      }

}


function verstecke_punkt(nummer){

//Bei NS wird der Punkt ausgetauscht, bei IE zusaetzlich die Schriftfarbe
      
      document.images['unten_bild_'+nummer].src = "bilder/no.gif";
                 
      if (top.isIE) {              
      //Text-Farbe-Austausch         
      window.document.getElementById('unten_id_'+nummer).style.color='#000000';      
      }     

}