0x3edf3ca