#include<iostream>
using namespace std;
int main(){
    string s;
    int n;
    cin>>s>>n;
    if(n<0){
        cout<<"Invalid input";
        return;
    }
    cout<<s<<": "<<(++n);
    return 0;
}