"42.25" . . . "12.5833" . .