. . . "17"^^ . "0.237877"^^ . . . . . . . . . . . . . . . . . . "8"^^ . . "16"^^ . . . . . .