HASH(0x7f5cadfad0f0)