. . . "0.378903"^^ . . . . . "12"^^ . . . . . . . . "6"^^ . . . . . . . "15"^^ . . .