HASH(0x7f5ccde898d8)