#include <iostream>
#include <iterator>
#include <regex>
#include <string>

int main()
{
    std::string phone;
    std::getline(std::cin, phone);
    std::cout << std::regex_replace(phone, std::regex("[^\\d]"), "") << std::endl;
}