context: 	var disable = function() {            arguments[0].blur();            arguments[0].disabled = true;	};
meta: 5054	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5054/a6fcd3711bd39be658ebb5cf31f9065b71271cf3/jifty.js/buggy/share/web/static/js/jifty.js