The top documents tagged [1st input file]