HASH(0x7f5c82c7d2e8)