<!--

function addtoFav(url,title){
if(document.all)
window.external.AddFavorite(url,title)
}

// -->