import java.io.*;
import java.util.*;

class Main57 {
	
	public static void main (String[] args) throws IOException {
		BufferedReader br = 
			new BufferedReader(new InputStreamReader(System.in));
		
		System.out.println((double)Integer.parseInt(br.readLine()) * 3.5);
	}
}