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