HASH(0x7f5ce5f7e7b0)