HASH(0x7f5cf95a75d0)