<!--
function goLink(dest) {
	document.location.href = getURL(dest);
}
//-->