( 12 , 642 .)