HASH(0x7f7abdcafbf8)