( 13 , 024 .)