python3で

a = 0x00001234ABCD

のような変数を16進数で出力すると

1234ABCD

となってしまいます。
０を省略させずにそのまま表示するにはどうすればいいのでしょうか？
それともpython2でしかできないのでしょうか？

a = 0x00001234ABCD

print(hex(a))
0x1234abcd

print(format(a,"x"))
1234abcd