function linklist() {
	links = document.getElementsByTagName("a");
	list  = "";

	for(index=0; index<links.length; index++) {
		a = links.item(index);
		if(a.href == "") continue;
		
		list += "<li><a href='"+a.href+"'>"+a.innerHTML+"</a></li>\n";
		/*
		for(i in a) {
			list += "a["+i+"]="+a[i]+"<br />\n";
		}
		list += "</li>\n\n";
		*/
	}

	if(list == "") return;
	document.writeln("<h2 id='linklist'>List of links used</h2>");
	document.writeln("<div><ol>"+list+"</ol></div>");
}

linklist();