HASH(0x7f5ce42c18f0)