HASH(0x7f5cf86f7d68)