<!--   
	// Annehmen: Seite ist noch nicht vollstaendig geladen:
	var PAGE_LOADED=false;
	
	
	
	
	
	
//-->