function addLinkHead(title,url) {
 nuovoLink=document.createElement("link");
 nuovoLink.setAttribute("title", title);
 nuovoLink.setAttribute("type", "application/rss+xml");
 nuovoLink.setAttribute("rel", "alternate");
 nuovoLink.setAttribute("href", url);

 if ((document.getElementsByTagName("head")!=null)&&(document.getElementsByTagName("head").item(0)!=null))
  document.getElementsByTagName("head").item(0).appendChild(nuovoLink);
}