HASH(0x7fedf665eca0)