HASH(0x7f5cdcff5fe0)