( 12 , 942 .)