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