( 15 , 031 .)