HASH(0x7f5cddef9f98)