HASH(0x7f5ccdefc8b8)