HASH(0x7f5cddbef240)