HASH(0x7fede65d56f0)