HASH(0x7f138051ddb0)