rem: function selectTopic(topic) 
add: function selectTopic(topic) 
context: function selectTopic(topic){	if (!topic || topic == "") return;		var links = document.getElementsByTagName("a");	for (var i=0; i<links.length; i++)	{		// take into account the extra ?toc=.. or &toc=		if (links[i].href.indexOf(topic+"?toc=") == 0 ||			links[i].href.indexOf(topic+"&toc=") == 0)		{			highlightTopic(links[i]);			scrollIntoView(links[i]);			return true;		}	}	return false;}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/8673e3de2d8ad18de7d1fff067884f2682a31157/list.js/buggy/org.eclipse.help.webapp/list.js