"0.374935"^^ . . . . . . . . . . "18"^^ . . . . . . . . . . . . . . . "8"^^ . . "15"^^ . . . .