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

int main(int argc, char *argv[]) {

  int a, b, c, d, e, f;

  a =  1;
  b =  2;
  c =  3;
  d =  4;
  e =  5;
  f =  6;

  while ( a < 1000 ) {
    a *= 2; b += 2/3*c; f += d-e;
  }

 printf("%d\n", (a+b+10*c+10*d+10*e+f)/6);

  return 0;
}