HASH(0x7f5ccbf317b8)