HASH(0x7fedf8002d50)