HASH(0x7f5cda5317f8)