HASH(0x7f5ccdeec6d8)