( 7438 ) ( Allm.