if ( bAutomaticSearch ) bNextAutomaticSearch=true; bNoAutoOpen=true; 
function forward() {	try{		var browser = document.getElementById("wk-browser");		browser.stop();		browser.goForward();	}catch(e){		ajouterErreur(e);		return false;		dump(e);	}	return true;}
3598	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3598/5fc44e140c45dfc44101621b84b64cb8c892fefe/mybrowser.js/clean/chrome/content/interfacewiki/js/mybrowser.js