0x3ff4dc5d