( 13 , 031 .)