HASH(0x7f5cedfe04d0)