for (var i = 0; i < document.anchors.length; i++) {
	if (!(document.anchors[i].name == "top")) {
		if (document.all) {
			if (!(document.anchors[i].className == 'ignoreAnchor')) {
				document.write('<li><a href=\'#' + document.anchors[i].name + '\'>' + document.anchors[i].innerText +  '</a></li>');
			}
		} else {
			if (!(document.anchors[i].className == 'ignoreAnchor')) {
				var sText = document.anchors[i].text;
				if (!(sText)) {
					sText = document.anchors[i].name;
				}
				document.write('<li><a href=\'#' + document.anchors[i].name + '\'>' + sText +  '</a></li>');
			}
		}
	}
}