. . . "17"^^ . . . . . . . . "0.707513"^^ . . "15"^^ . . . . . "3"^^ . . . . . . .