HASH(0x7fedc65bee80)