HASH(0x7f5cdacfb7d0)