HASH(0x7f5cdcc31df0)