#include <stdio.h>
void main (){
    int i=-12;
    do{
       printf("%d ", i);
        i++;
    }
    while(i<=12);
    
}