HASH(0x7f5cdcff74b0)