HASH(0x7fede26edf68)