HASH(0x7fee077e1718)