( 9254 ) ( Allm.