0x5d80ecc