( 13 , 942 .)