HASH(0x7f5ce08be7b8)