The top documents tagged [input file stream]