int main(){
    double a;
    scanf("%lf", &a);
    printf("%f", a*3.5);
}