#include <stdio.h>

int main(int argc, char *argv[])
{
    int fahr;
    
    while ((fahr = getchar()) != EOF){
          putchar(fahr);
          printf("%f", (5.0/9.0) * (fahr-32));
    }
}