HASH(0x7f5c983761e0)