HASH(0x7fee085e64b0)