"3"^^ . . . . . . . . "modulo"@es .