var Button_markiert = new Array(3) ;
var Button_standard = new Array(3) ;
var Text = new Array(3) ;
Button_markiert[1] = new Image() ;
Button_markiert[1] = "images/thema_pfeil.gif" ;
Button_standard[1] = new Image() ;
Button_standard[1] = "images/thema.gif" ;
Text[1] = "" ;

function  zustandswechsel ( position, name, status ){
   if( status == "markiert" ){
	  document.images[name].src = Button_markiert[position] ;
	  //display_text.innerHTML = Text[position] ;   
   }else{
         document.images[name].src = Button_standard[position] ;
	     //display_text.innerHTML = "" ;
	   }
}