#include<iostream>
using namespace std;
int main(){
char c[14]={"0123456789ABC"};
printf("#");
for(int i=0;i<3;i++){
int num;
cin>>num;
printf("%c%c",c[num/13],c[num%13]);
}
system("pause");
return 0;
}