HASH(0x7f5cdc9dfec8)