#include <stdio.h>

int main() 
{
    int n;
    scanf("%d",&n);
    long long z = 0;
    z = (n * 1024 * 1024) / 4;
    printf("%lld",z);
    
    return 0;
}