( 10 , 024 .)