<!--

//

function addtofavs() {
var pagetitle = document.title;
var pageurl = location.href;
window.external.AddFavorite(pageurl,pagetitle);

}

//-->