HASH(0x7fee325eda18)