. . . "2"^^ . . "5"^^ . . "12"^^ . . . . . . . . "0.0938947"^^ . . . .