HASH(0x7fede257eb98)