a = 0xABCDEF
print(str(a).rjust(15))