HASH(0x7f5ce25cf0d0)