HASH(0x7fedd25adcf0)