HASH(0x7fede25ec3d8)