HASH(0x7fedc65ca538)