( 13 , 931 .)