request: function(form, options) { form = $(form), options = Object.clone(options || {}); 
request: function(url) { var params = this.options.parameters; if (params.any()) params['_'] = ''; 
  request: function(form, options) {    form = $(form), options = Object.clone(options || {});    var params = options.parameters;    options.parameters = form.serialize(true);    if (params) {      if (typeof params == 'string') params = params.toQueryParams();      Object.extend(options.parameters, params);    }    if (form.hasAttribute('method') && !options.method)      options.method = form.method;    return new Ajax.Request(form.readAttribute('action'), options);  }
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/99db091466168b09f46c79ff71f0e07c7fd4a8db/prototype.js/clean/lib/prototype.js