function pulsanti(idpulsante)
{
  document.write('<div id="pulsante"><ul>');
  document.write('    <li id="'+(idpulsante=="www"?"current":"plain")+'"><a href="http://www.ubuntu-it.org">Web</a></li>');
  document.write('    <li id="'+(idpulsante=="help"?"current":"plain")+'"><a href="http://wiki.ubuntu-it.org">Documentazione</a></li>');
  document.write('    <li id="'+(idpulsante=="forum"?"current":"plain")+'"><a href="http://forum.ubuntu-it.org">Forum</a></li>');
  document.write('    <li id="'+(idpulsante=="contribuire"?"current":"plain")+'"><a href="http://www.ubuntu-it.org/index.php?page=contribuire">Contribuire</a></li>');
  document.write('    <li id="'+(idpulsante=="planet"?"current":"plain")+'"><a href="http://planet.ubuntu-it.org">Planet</a></li>');
  document.write('</ul></div>');
}