0x3fe3bacf