. . . "12"^^ . "7"^^ . . . . . . . "4"^^ . . . . "0.425458"^^ . . . . . .