HASH(0x7f7abdcdf7c0)