HASH(0x7f5cddef2c30)