HASH(0x7fede65ba690)