public void test_19_score_threshold_rand() {
		int thresholdMax = 5;
		int changesMax = 6;
		int minLen = thresholdMax + changesMax + 10; // Big enough so that we don't run into problems creating random changes

		System.err.print("\nScore (threshold) random test:\n");
		Random rand = new Random(20100821);
		for( int maxLen = 10, i = 1; maxLen < 10000; maxLen += 10, i++ ) {
			for( int threshold = 0; threshold < thresholdMax; threshold++ ) {
				for( int changes = 0; changes < changesMax; changes++ ) {
					scoreRandTestThreshold(maxLen, minLen, rand, threshold, changes);
				}
			}
			Gpr.showMarkStderr(i, 1);
		}
		System.err.print("\nDone.\n");
	}