HASH(0x7fedc058f980)