0x3fde8ff4