#include<stdio.h> int main() { int n,m=0; scanf("%d",&n);

for(int i=7;i<=n;i+=7){
    m=m+i/7;
}
printf("%d",m*7);     
return 0;

}