rem: function (input) { var value = input.value; var checked = input.checked;  if(checked) { services.push(value);  } } 
add: Event.observe(button, "click", function() { im_mapServerURL($('im_wmsservername').value);}); 
context: 	    function (input)	    {	        var value = input.value;	        var checked = input.checked;	        	        if(checked)	        {	            services.push(value);	            //query += "&service="+value;	        	        }	    }
meta: 8734	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8734/89c44cd74f750c14597ab0be12fc5a5a913a0982/etj.js/buggy/web/intermap/scripts/etj.js