"0.637372"^^ . . "6"^^ . . . . . . . . . . . . . . . . . "15"^^ . . . . . . . "16"^^ .