( 9400 ) ( Allm.