. . . . "13"^^ . . . . . "9"^^ . . . . . . . . . . . . . . . "0.489922"^^ . . . "15"^^ . .