HASH(0x7f5cdae7e600)