#include <stdio.h>
int main () {
float b;
scanf("%f", &b);
while(b >= 0) {
float a = 0;
if (b >= 3) {
a = 12;
b = b - 3;
a = a + b * 2.5;
printf("%f\n", a);
} else if (b > 0){
a = 12;
printf("%f\n", a);
} else if (b == 0) {
printf("%f", a);
}
if (b < 0) {
return 0;
}
scanf("%f", &b);
}
return 0;
}