HASH(0x7fedc8593ad8)