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