( 1 , 023 .)