use integer;
printf("%d\n",-1000>>2);
no integer;