$hex = '0x1234'; #prints 0x1234