HASH(0x7f5cdcded8e8)