"0.792867"^^ . . "20"^^ . . . . . . . . . . . "17"^^ . . . . . . . . . . . . . . . "6"^^ . . .