"0.059331"^^ . . . "14"^^ . . . . . . . . . . . . . . . "15"^^ . . "3"^^ . . .