#include <stdio.h>
int main()
{
  int N;
  scanf("%d", &N);
  printf("decimal\n");
  printf("%g\n", N*0.0001+N);
  return 0;
}