. "0.200007"^^ . . . "5"^^ . . . . "2"^^ . . . "4"^^ .