#include <iostream>
#include <bitset>
#include <sstream>
using namespace std;

int64_t ip_to_int(string ip) {

    stringstream ss(ip);

    string s;
    int64_t res = 0;

    // 183.31.75.22
    // 1675978389
    int rate = 24;
    while (getline(ss, s, '.')) {
        res |= (stoll(s) << rate);
        rate -= 8;
    }
    return res;
}

string int_to_ip(long long num) {
    string res;
    for (int i = 0; i < 3; ++i) {
        res =  "." + to_string(num % 256) + res;
        num >>= 8;
    }
    res = to_string(num) + res;
    return res;
}

int main() {
    string ip;
    long long num;
    while (cin >> ip >> num) {
         cout << ip_to_int(ip) << endl;
        cout << int_to_ip(num) << endl;
    }
    return 0;
}