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