{
	DATA[NR] = $0;
}
END {
	srand();

	for ( i = 1; i <= NR; i++ ) {
		shuffle( i );
	}

	for ( i = 1; i <= NR; i++ ) {
		printf( "%s\n", DATA[i] );
	}
}

function shuffle( src )
{
	num = int ( NR * rand() )+ 1;

	tmp = DATA[src];
	DATA[src] = DATA[num];
	DATA[num] = tmp;
}