#include <stdio.h>
char toChar(int i);
int main(int argc, char *argv[]) {
int a[3];
scanf("%d %d %d", &a[0], &a[1], &a[2]);
int rgb[3][2];
int i;
for (i = 0; i < 3; i++) {
rgb[i][0] = a[i] / 13;
rgb[i][1] = a[i] % 13;
}
printf("#");
for (i = 0; i < 3; i++)
printf("%c%c", toChar(rgb[i][0]), toChar(rgb[i][1]));
printf("\n");
return 0;
}
char toChar(int i) {
if (i < 10) return i + '0';
else return 'A' + i - 10;
}