HASH(0x7fedc6600ad8)