function addProvider(url) {
	try {
		window.external.AddSearchProvider(url);
	} catch (e) {
		alert("You need to be using IE7 or Firefox2 to add a search engine!");
		return;
	}
}

function gentoc() {
	i=0;
	document.writeln("<ol>");
	while (e = document.getElementsByTagName('div')[i++]) {
		ac=0;
		toc=false;
		id="";
		while (a = e.attributes[ac++]) {
			if (a.nodeName=="id") {
				id=a.nodeValue;
			}
			if (a.nodeName=="class" && a.nodeValue=="section") {
				toc=true;
			}
		}
		if (toc==true) {
			document.writeln("<li><a href=\"#" + id + "\">" + e.firstChild.firstChild.data + "</a><br>\n");
		}
	}
	document.writeln("</ul>");
}