import java.io.*;

class Lire {
  public static void main(String[] args) throws IOException {
    File inputFile = new File(args[0]);
    FileReader in = new FileReader(inputFile);
    BufferedReader buffin = new BufferedReader(in);        
    char[] tampon = new char[8192];
    int lus;
    StringBuffer s = new StringBuffer();
    while ((lus = buffin.read(tampon)) != -1)
      s.append(tampon, 0, lus);
    String data = s.toString();
    System.out.println(inputFile.length() + " " + data.length());
    System.out.println(data.substring(0,1000));
    buffin.close();
  }
}