rem: ajax_update(params, onsucc, options, url); 
add: var ajax = new Ajax.PeriodicalUpdater({ success: onsucc }, url, options); 
context: function ajax_periodic_update(secs, params, onsucc, options, url) {	if (!options)		options = {};	options.frequency = secs;	ajax_update(params, onsucc, options, url);}
meta: 3253	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3253/e530c5301baf3a4f60202dd7d0ce08ccf1a0314c/common.js/buggy/plugins/Ajax/htdocs/images/common.js