Main {
  public static void main(String args[]) throws Exception {{
    Documents d = Documents.parse(System.in);
    d.display();
    System.out.println("done");
  }}
}

Documents {
  void display() to * (DisplayVisitor);
}