#include<bits/stdc++.h>
using namespace std;
int main(){
    int N;
    cin>>N;
    cout<<"decimal"<<endl<<N<<".0001"<<endl;
    return 0;
}