HASH(0x7f5ce85852b8)