changeText(wgAjaxWatch.watchLink1, newText); if (wgAjaxWatch.watchLink2) { changeText(wgAjaxWatch.watchLink2, newText); 
for (i = 0; i < wgAjaxWatch.watchLinks.length; i++) { changeText(wgAjaxWatch.watchLinks[i], newText); 
wgAjaxWatch.setLinkText = function(newText) {	changeText(wgAjaxWatch.watchLink1, newText);	if (wgAjaxWatch.watchLink2) {		changeText(wgAjaxWatch.watchLink2, newText);	}};
9612	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9612/8f416baead93a48e5799e44b8bd2e2c4859f4e04/ajaxwatch.js/clean/skins/common/ajaxwatch.js