function copia_destinazioni(testo,pagina)
  { 
  document.getElementById('destinazione').value=testo;

  document.form1.action=pagina;

  if (document.getElementById('dest_glob_input')) {document.getElementById('dest_glob_input').value=pagina;}  
  $('html,body').animate({scrollTop: 0}, 1000);
  }