HASH(0x7f13685dede8)