out.write(b, off, len); written += len - off;
out.write(b); ++written;
  public synchronized void write (byte[] b, int off, int len)    throws IOException, NullPointerException, IndexOutOfBoundsException  {    out.write(b, off, len);    written += len - off;  }