HASH(0x7fede25d1ed8)