HASH(0x7f5ce42208f8)