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