HASH(0x7f5cedc25be0)