function bookmarksite(title, url){
if (document.all)
window.external.AddFavorite(url, title);
else if (window.sidebar)
window.sidebar.addPanel(title, url, "")
}
function collegamento(evt) { 
if (evt.srcElement){
div=evt.srcElement;
window.location=div.firstChild.getAttribute("href");
}
else{
div=evt.target;
window.location=div.firstChild.getAttribute("href");
}
}