HASH(0x7f7abdcf4638)