HASH(0x7f5ce42a9a20)