#include <stdlib.h>
#include <stdio.h>

int main (void){
int i, j;
int count;
for(i = 2; i < 10; i*=2){
	for (j=1; j<i; j++)
	++count;
}
printf("%d", count);

return 0;

}