#include <stdio.h>

int main ()
{
int sum=0, i=0, j, pos=0;
char isbn[10];
gets(isbn);
while (isbn[pos]) {
	i++;
	j = isbn[pos]-'0';
	if (i < 10)
		sum += j*i;
	pos++;
//		printf("n=%d\n",j);
	}
if (j == sum % 11)
printf ("Kod ISBN korrekten\n");
else
printf ("Kod ISBN NEkorrekten\n");

return 0; 
}