HASH(0x7fede25e6780)