9 , 10 ; 42 , 13 .)