import java.text.DecimalFormat;
import java.util.*; 

public class test {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
		double i = sc.nextInt();
		DecimalFormat format = new DecimalFormat("0.#");
		
		System.out.println((format.format(i*3.5)));
	}
}