( 10 ; 838)