HASH(0x7fedf66df728)