HASH(0x7f7abc0db320)