. . . . . . "17"^^ . . . . "0.127853"^^ . . . . . . . . . . . . . "8"^^ . . "15"^^ . . . . .