"0.839317"^^ . . . . . . . "14"^^ . . . . . . . . . . "3"^^ . . . . . "16"^^ . .