#include<stdio.h>
int main()
{
	int i,j;
 for(i=8,j=0;i>0;i/=2,j+=i);
printf("%d",j);
return 0;
}