. "0.312762"^^ . . . . . . "10"^^ . . . . . "3"^^ . "8"^^ . . . . .