( 24 , 712 .)