HASH(0x7fede25939d8)