HASH(0x7fedc6670af8)