HASH(0x7f5cdcff20f0)