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