#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; 
}