HASH(0x7f5cdcddd2f0)