"12.2417" . . . "42.1583" . . .