0x3fe8bf85