"0.200087"^^ . . . . . . . . "15"^^ . . . . . . . . . . . . "19"^^ . . . . . "2"^^ .