HASH(0x7fede65f0088)