HASH(0x7fede65d5978)