HASH(0x7f5cf53f78c0)