#include <iostream>
#include <fstream>
#include <cctype>   

using namespace std;

int main(){
    
/*    ofstream fout("text.dat");
    fout<<"dsfsd df5sdf sdkhk nskjf7h dkshfdk 99sdj";
    fout.close();*/
    
    char buff[50];
    
    ifstream fin("text.dat");
    
    fin>>buff;
    for(int i=0;i<50;i++){
        if ( isdigit(buff[i]) ){
            cout<<buff;
        }
    }
    
    fin.close();
}