( 6 , 023 .)