"0.258291"^^ . . . "9"^^ . . . . . . . . . . . "8"^^ . "3"^^ . .