#include<iostream> int main(){ double a; scanf("%c",&a); if(a<=10); a=2.5*a; if(a>10); a=10*2.5+(a-10*1.5); printf("%.1lf",a); return 0; }