function menu_on(menuid)
{
document.getElementById("link_" + menuid).className = "show";
}
function menu_off(menuid)
{
document.getElementById("link_" + menuid).className = "link";
}
function SocialBookmarks(Indirizzo, Titolo)
{
var I = encodeURIComponent(Indirizzo);
var T = encodeURIComponent(Titolo);
with (document)
{
write('
');
write('
');
write('
');
write('
');
write('
');
write('
');
write('
');
write('
');
write('
');
write('
');
write('
');
write('
');
}
}