0x3fe17f8c