form = $(form), options = Object.clone(options || {}); 
form = $(form), options = Object.clone(options || { }); 
  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);  }
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/prototype.js/clean/wp-includes/js/scriptaculous/prototype.js