HASH(0x7f3888080fe8)