HASH(0x7f5ccde9c3b0)