. . . . . . . . . "0.25519"^^ . . "20"^^ . . "6"^^ . . . . . . . . . . "15"^^ . . . . . . . .