HASH(0x7f5cedf3c0f8)