HASH(0x7f5ccdefeaf8)