#include<iostream> int main(){ double b; int a; scanf("%d",&a); b=a*2; if(a>=10){ b=b*0.9; } printf("%.1lf",b); return 0; }