#include <stdio.h>
int main()
{
	long int n = 0;
	long int ret = 0;
	while(scanf("%d", &n)!=EOF)
	{
		ret = (n * 1024 * 1024) / 4;
		printf("%ld", ret);
	}
	return 0;
}