0x2ddc71