package com.javarush.task.task18.task1810;
import java.io.BufferedReader;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.InputStreamReader;
import java.util.ArrayList;
import java.io.*;
/*
DownloadException
*/
public class Solution {
public static void main(String[] args) throws DownloadException, IOException {
BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
FileInputStream file1 = new FileInputStream(reader.readLine());
ArrayList<Integer> list = new ArrayList<>();
while(file1.available() > 0) {
list.add(file1.read());
}
if(list.size() < 1000) {
break;
}
reader.close();
file1.close();
throw new DownloadException();
}
public static class DownloadException extends Exception {
}
}