HASH(0x7f5cf80c35e8)