var dl = document ? document.getElementsByTagName('DL') : null;
if (dl) {
	for(var i=0;i<dl.length;i++) {
		dl[i].onclick = function(event) {
			var links = this.getElementsByTagName('A');
			if (links.length) location.href = links[0].getAttribute('href');
		}
	}
}