. . . "15"^^ . . . . . . . "18"^^ . . . . "0.76413"^^ . . . . . . "7"^^ . . . . . . . . . .