HASH(0x7f5cee5ae2f0)