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