HASH(0x7fedc859d478)