#include<stdio.h>
int main() {
    int n;
    scanf("%d", &n);
    printf("%d", n / 1.5);
    return (0);
}