#include "stdio.h"

int main(int argc, char* argv)
{
  int a = 6;
  int b = 7;
  int c;
  c = a + b;
  printf("%i\n", c);
  return 0;
}

13