HASH(0x7f5cf0f9f7e0)