HASH(0x7fede45a3778)