. . . . "13"^^ . . . . . "0.225315"^^ . . . . "5"^^ . . . . . . . . "16"^^ . . . . .