public void PutLabelj(){
	            AddOperation("JUMP",CString("label",labelstack.peek()),"dk","dk");
	        //    System.out.println(";JUMP "+"label"+labelstack.peek());
	            if(next_label!=0){
	                  AddOperation("LABEL",CString("label",next_label),"dk","dk");
	            //      System.out.println(";LABEL "+"label"+next_label);
	                  next_label=0;
	            }else{
	                  AddOperation("LABEL",CString("label",current_label),"dk","dk");
	            //      System.out.println(";LABEL "+"label"+(current_label));
	            }
	      }