( 12 , 625 .)