if ($ires == $interdomainatoms[$counter]) {