HASH(0x7f5ccac0a140)