HASH(0x7f5cda7c6b78)