var ajax = new Ajax();

var change_type=function(dest_id,func) {
  ajax.doGet('ajax_worker.php?dest_id=' + dest_id, eval(func));
}

var do_change = function(str) {
  newvalues=str.split('|');
  // setto i valori per la select Tipologia (prima azzero i suoi valori)
  tipo=document.getElementById('tipologia');
  tipo.options.length = 0;
  for (var i=0; i<newvalues.length; i++) {
    tipo.options[i] = new Option(newvalues[i],i);
  }

}