HASH(0x7f5cac34c1e0)