b;main(a){b=!printf("%f",atoi(gets(&a))*3.5);}