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