return t; }
    public int pushAll(Collection fromCol) {      int t = 0;      int n = ((fromCol != null) ? fromCol.size() : 0);      if (n > 0) {        Iterator iter = fromCol.iterator();        do {          if (this.push(iter.next())) {            t++;          }        } while (--n > 0);      }      return t;    }