HASH(0x7fedd6599920)