HASH(0x7fee225f8e58)