for (i = 0; i < rightPorts.length; i++) {
      port = rightPorts[i];
      if (port.size > 1) {
        dome = document.getElementById(tokId + port.id);