. . . "2"^^ . . . "5"^^ . . . . "7"^^ . . "0.252831"^^ . .