HASH(0x7fede65fb280)