HASH(0x7f5cf25ee0d0)