( 9 , 024 .)