( 5 , 023 .)