#include<bits/stdc++.h>
using namespace std;

typedef long long ll;
typedef pair<int, int> P;

int MOD = 1e9 + 7;
ll INF = 1e18;

int dx[] = {1, -1, 0, 0};
int dy[] = {0, 0, 1, -1};

vector<bool> sosu(1e7+10, true);
void eratos(){
    sosu[1]=false;
    for(int i=2; i<=sqrt(1e7); i++){
        if(sosu[i]){
            for(int j=2; i*j<=1e7; j++){
                sosu[i*j]=false;
            }
        }
    }
}

int main(){
    int n; cin>>n;
    eratos();

    int ans=0;
    for(int i=2; i<=1e7-2; i++){
        if(sosu[i] && i <= n){
            if(sosu[i+2]) ans++;
        }
    }
    cout << ans*2 << endl;
}
