{ line[NR] = $0 "" } END { print line[int(NR * rand())] }