HASH(0x7f5ccdefd6a0)