function closeDigest(){$("contfirst").style.display = "none";}
function setHome(){this.setHomePage("http://" + document.location.host);}
function shareArticle(){}
function addFav(){window.external.AddFavorite(document.location.href,document.title)}
document.write('<scr'+'ipt type="text/javascript" src="/ajax.js"></scr'+'ipt>');