for(;;)
    {
    	//while(GPIO_ReadInputDataBit(GPIOA,GPIO_Pin_2)){}
    	if(s1==0 & s2==0){
    		GPIO_SetBits(GPIOD, GPIO_Pin_12);
    		GPIO_ResetBits(GPIOD, GPIO_Pin_15);
    		s1=1;
    		for (i=0;i<10000000;i++);
    	}
    	if(s1==1 & s2==0){
    		GPIO_SetBits(GPIOD, GPIO_Pin_14);
    		GPIO_ResetBits(GPIOD, GPIO_Pin_12);
    		for (i=0;i<10000000;i++);
    		s1=2;

    	}
    	if(s1==1 & s2==1){
    		GPIO_SetBits(GPIOD, GPIO_Pin_13);
    		GPIO_ResetBits(GPIOD, GPIO_Pin_14);
    		for (i=0;i<10000000;i++);
    		s1=0;
    	}
    	if(s1==0 & s2==1){
    		GPIO_SetBits(GPIOD, GPIO_Pin_15);
    		GPIO_ResetBits(GPIOD, GPIO_Pin_13);
    		for (i=0;i<10000000;i++);
    		s2=0;
    	}


    }