int main(void) {
    unsigned long     a,b;
    scanf( "%ld", &a );
    b = a * 3.5;
    if( b == a * 3.5 ) {
        printf("%d\n",b);
    } else {
    	printf("%.1f\n", (a * 3.5) );
    }
	return 0;
}