"0.672258"^^ . . . . . . . . . . . . "4"^^ . . . . . . . . . . . . . . . . . . "23"^^ . . "25"^^ . .