#!/bin/sh

cat "$1" | awk 'BEGIN{srand()} {print int(100000 * rand())" "$0}' | \
	sort -n -k 1,1 | sed 's/^[0-9 ]*//'
