#!/opt/gnu/bin/gawk -f { for(i=1; i<=792; i++) { num = int(793*rand()) if (num != 0) printf("%d\n",num)} }