HASH(0x7f5cdcff01c0)