#include <stdio.h>

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