0x3ffedba5