function findLinks(){
	var el = document.all['left'].getElementsByTagName("a");
	for (i=0;i<el.length;i++){
		href = el[i].getAttribute("href");
		var newEl = document.createElement("span");
		newEl.className = 'hide';
		var newElText = document.createTextNode(" (" + href + ")");
		newEl.appendChild(newElText);
		el[i].appendChild(newEl);
	}
}

function changeListLink(term, id, link){
	document.getElementById(id).onclick=function(){location.href=link+term}
}