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); } }