. . . . "krev"@cs . .