#include #include #include #include #include int main(void) { float dice; scanf("%f",&dice); printf("%f",dice*3.5); }