HASH(0x7f5cdcc31e80)