HASH(0x7fede65ba8e8)