void putch(unsigned char byte){
            TXSTA=0x26;
            SPEN=1;
            TXREG=byte;                     
            while(!TXIF)continue;
            TXIF=0;
}

void main(void)    //Main program
{
    printf("Hello World!\n");
            x++;
}