HASH(0x75d385de14e0)