add: */ 
context:   function gotoHistoryIndex(event)  {     dump("In gotoHistoryIndex\n");	 var index = event.target.getAttribute("index");	 if (index) {	    dump("gotoHistoryIndex:: Index = " + index);        appCore.gotoHistoryIndex(index);	    return true;	 }	 else {	   var id = event.target.getAttribute("id");	   if (id == "menuitem-back")	      BrowserBack();	   else if (id == "menuitem-forward")	      BrowserForward();	       }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/c298286ee9ca933815b08c49f78aa8e80b15eedf/navigator.js/clean/suite/browser/navigator.js