HASH(0x7fbf542b8bc0)