. "0.172355"^^ . . . . . . . "3"^^ . "10"^^ . . . . . . "8"^^ . . .