HASH(0x7f5cedfc3f00)