( 4 , 023 .)