#!/bin/bash
# 07.02.01
cat $1 |
awk -F\; 'BEGIN {
  srand()
}
{
  print(rand()";"$0)
}' | sort | awk -F\; '{print($2)}'