甲级pat-1027

#include<cstdio>
int main(){
    char s[14]={"0123456789ABC"};
    printf("#");
    for(int i=0;i<3;i++){
        int a;
        scanf("%d",&a);
        printf("%c%c",s[a/13],s[a%13]);
    }
    return 0;
}