#include<stdio.h>
int main(){
    int n;
    scanf("%d",&n);
    printf("%d",1024 * 1024 * n /4 );
}