public void AddDO(){
	            current_label++;
	            dostack.push(current_label);
	            AddOperation("LABEL",CString("label",current_label),"dk","dk");
	            System.out.println(";LABEL "+"label"+current_label);
	            
	      }