( 13 , 642 .)