HASH(0x7fedc65cecf8)