HASH(0x7f5ce99d3da8)