HASH(0x7f5ce42a3e78)