HASH(0x7f5cdec0c2f8)