function tag_search_key_up() {
	var f = document.right_tag_search.q.value;
	filter_tags(f);
}

function filter_tags(search) {
	var rightNav = document.getElementById("navright");
	var links = rightNav.getElementsByTagName("a");
	for (x=0; x<links.length; x++) {
		if (links[x].className == "tagy") {
			var tagName = links[x].childNodes.item(0).data;
			if (tagName.search(search) == -1) {
				links[x].style.display="none";
			} else {
				links[x].style.display='';
			}
		}
	}
}