import java.util.stream.*;
import java.nio.file.*;
import java.io.*;
import java.nio.charset.*;

public class lookfor {
    static int cnt = 0;
    public static void main(String[] args) throws Exception {
        if (args.length < 2) {
            System.err.println("Usage: java lookfor String ReadFile");
            System.exit(1);
        } else {
            try (Stream<String> s = Files.lines(Paths.get(args[1]), Charset.defaultCharset());) {
                s.map(x -> String.format("%3d: %s", ++cnt, x)).filter(x -> x.indexOf(args[0]) != -1).forEach(System.out::println);
            }
        }
    }
}