function xrefLink(citation_dest) {    
    try {
        if (citation_dest != null) {
        	window.location.href = "xref.htm?citation_dest=" + citation_dest;
        }
    }
    catch(err) {        
    }
}