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