HASH(0x7f5cac2503f0)