HASH(0x7f5d0506f7e0)