#!/bin/awk -f
BEGIN{srand}
{l[n++] = $0}
END{
	while(n){
		i = int(rand() * --n)
		print l[i]
		l[i] = l[n]
	}
}