code: public void write(byte[] b, int off, int len) throws IOException
  	{
  		if (b == null)
  			throw new NullPointerException();
  		if ((off < 0) || (off > b.length) || (len < 0) || ((off + len) > b.length)
  			|| ((off + len) < 0))
  			throw new IndexOutOfBoundsException();
  		p.writeBytes(b, off, len);
  	}
docs: /* (non-Javadoc)
  @see java.io.OutputStream#write(byte[], int, int)