HASH(0x7fee225f1ce0)