( 12 , 024 .)