"0.490517"^^ . . . "15"^^ . . . . . . . . . . . . . "4"^^ . . . . . . . . . . . . . . . . "25"^^ . .