#include<stdio.h>#include<string.h>int main(){char s[1100];char t[10];while (gets(s), strcmp(s, "#")){int i, res = 0;for (i = 0; s[i] != ' '; i++){res = res * 256 + s[i];res %= 34943;}sprintf(t, "%04Xn", (34943 - res * (0x10000 - 34943) % 34943) % 34943);printf("%c%c %c%cn", t[0], t[1], t[2], t[3]);}return 0;}


