public long skip(long n){
  if (position + n <= document.getLength()) {
    position+=n;
    return n;
  }
  long temp=position;
  position=document.getLength();
  return document.getLength() - temp;
}

public long skip ( long n ) { if ( position + n <= document . getLength ( ) ) { position += n ; return n ; } long temp = position ; position = document . getLength ( ) ; return document . getLength ( ) - temp ; }
skips characters . this will not ' skip ' past the end of the document .
