#!/usr/local/bin/bash

## /bin/rm -f intoT.random split-intoT.?
## for i in `cat intoT`; do echo $RANDOM $i; done | sort -n | awk '{print $2}' > intoT.random
## 
## rrsiz=6
## num="`cat intoT.random | wc -l | sed 's/^[ 	]*//'`"
## neach=$[($num+$rrsiz-1)/$rrsiz]
## 
## i=1; while [ "$i" -le "$neach" ]; do
##  tail +$[($i-1)*6+1] intoT.random | head -6 > split-intoT.$i
##  i=$[$i+1]
## done