( 13 , 631 .)