HASH(0x7fee325d91d0)