#!/usr/bin/awk -f

BEGIN {
	n = 0;
	srand();
}

NF > 0 {
	name[n] = $0;
	n++;
}

END {
	for (i = 0; i < 1000; i++) {
		print name[int(rand()*n)];
	}
}