#include <cstdio>
double d[] = {2.8426980001238509642e+172,
              6.4704452263706933253e+159,
              1.3499792212073959761e+300, 2018};
int main() {
  d[3]-- ? 
      d[0] *= (int)d[3] % 333 == 0 ? 2 : 1,
      d[1] *= (int)d[3] % 444 == 0 ? 2 : 1,
      d[2] /= (int)d[3] % 555 == 0 ? 2 : 1,
      main() : printf("%s\n", (const char*)d);
}