HASH(0x7fede2697bb0)