HASH(0x7fedf458f220)