HASH(0x7fede25f6cf0)