HASH(0x7fee225f52e0)