BufferedReader br = new BufferedReader (new InputStreamReader (System.in));
        BufferedReader fr = new BufferedReader (new FileReader (br.readLine ()));
        BufferedWriter fw = new BufferedWriter (new FileWriter ((br.readLine ())));
        br.close ();
        Pattern patten = Pattern.compile("^\\d+$");
        String result = "";
        while(fr.ready ()){
            String str = fr.readLine ();
            String[] pipei = str.split (" ");
            for (String s : pipei){
                Matcher matcher = patten.matcher (s);
                if (matcher.find ( )) {
                    result.concat (matcher.group ( ) + " ") ;
                }
            }
        }
        fw.write (result.substring (0, result.length ()-1));


       fr.close ();
       fw.close ();