( 7840 ) __