. . . "15"^^ . . . . . "19"^^ . . . . . . . "0.172283"^^ . . . . . . . . . . . . . . . "12"^^ . . . . . .