HASH(0x7f5cdcd34d20)