HASH(0x7f5ccdef43b8)