1027. Colors in Mars (20)

#include <iostream>
using namespace std;

int main(int argc, char **argv) {
	char digits[] = "0123456789ABC";
	
	cout << '#';
	for(int i = 0; i < 3; i ++) {
		int a;
		cin >> a;
		cout << digits[a/13] << digits[a%13];
	}
	cout << endl;
	return 0;
}