#include>stdio.h>
int main() {
    int usd;
    scanf("%d",&usd);
    if (usd<0)
       printf("Invalid input");
     else
       printf("%.2f".usd*0.85);
       return 0;
       
}