#!/usr/bin/awk -f
BEGIN { srand() }
{
	k = 1 + int(rand() * NR);
	line[NR] = line[k];
	line[k] = $0;
}
END { for (i = 1; i <= NR; i++) print line[i]; }