0x7417eefc
