HASH(0x7f5c91ce77e0)