BEGIN { pipe = "wc -l " file
		pipe | getline;
		close (pipe);
		srand();	nu = int(rand() * $0)
		# print nu ": " $0;
		for (i = 0; i <= nu; i++) { getline; # print $0 
		}
		print $0;
}