#!/usr/bin/gawk -f
BEGIN {
	srand(systime())
}
{
	while ((i=rand()) in line);
	line[i] = $0
}
END {
	n = asorti(line, num)
	while (n)
		print line[num[n--]]
}