HASH(0x7f5ce42017c8)