HASH(0x7fede25cdab8)