HASH(0x7f5ce42cc2e0)