( 12 , 023 .)