credo che anche $HOL_ADD == $HOL_MITTENTE; sia sbagliata