"6"@cs . "6 let"@cs . . . . . . .