HASH(0x7fee225f60d0)