HASH(0x7f7ac1c239b0)