"0.254524"^^ . . . . . "6"^^ . . . . . "3"^^ . "6"^^ . . .