0x4200000000000000000000000000000000000042