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