// Blendet die Flashbühne auf der Startseite aus, wenn die Favoriten geöffnet werden

		Event.observe( window, 'load', start_hop );

		function start_hop(){ HOP = setInterval('hopp()', 300) }

		function hopp(){
			flashaus = 0;
			if( $('hauptmenue___favoriten_aktiv') ) {
				if( $('hauptmenue___favoriten_aktiv').style.display == "block" ) flashaus = 1;
			}
			if( $('favoritenbox_aktiv') ) {
				if( $('favoritenbox_aktiv').style.display == "block" ) flashaus = 1;
			}
			if(flashaus == 1){
	    		$('buehne_startseite_flash').style.display = "none";
	    		$('buehne_startseite_statisch').style.display = "block";
			}
			else{
	    		$('buehne_startseite_flash').style.display = "block";
	    		$('buehne_startseite_statisch').style.display = "none";
	    	}
		}