HASH(0x7f5ce887e3b8)