( 12 , 031 .)