( 5 , 031 .)