HASH(0x7f5ce8fdd7e8)