"0.309017"^^ . "10"^^ . . "2"^^ . . "3"^^ . . . . . . . . . . . . .