public void test_17_overlap_rand() {
		int numTests = 10;
		int minLen = 10;
		System.err.print("\nOverlap random test:\n");
		Random rand = new Random(20100812);
		for( int maxlen = 10, i = 1; maxlen < 10000; maxlen += 10, i++ ) {
			for( int it = 0; it < numTests; it++ )
				overlapRandTest(maxlen, minLen, rand);
			Gpr.showMarkStderr(i, 1);
		}
		System.err.print("\nDone.\n");
	}