#include <stdio.h>

     int main (void) {
       short int i = 32767;
       i = i+1;
       printf("%d\n", i);
       return 0;
     }