OK! Grazie...

Queste le funzioni modificate:
Codice PHP:
<script type="text/javascript"><!--//
    
var arVSelezionati = new Array();
    var 
arTSelezionati = new Array();

    function 
addElemento(objsel) {
        
esiste false;
        
// Verifica se l'elemento esiste gia' tra i selezionati
        
for (iEl=0;iEl<arVSelezionati.length;iEl++) {
            if (
arVSelezionati[iEl] == objsel.options[objsel.selectedIndex].value esiste true;
        }
        if (!
esiste) {
            
arVSelezionati.push(objsel.options[objsel.selectedIndex].value);
            
arTSelezionati.push(objsel.options[objsel.selectedIndex].text);
            
visValoriSelezionati();
        }
    }
    
    function 
delElemento(objsel) {
        for (
iEl=0;iEl<arVSelezionati.length;iEl++) {
            if (
arVSelezionati[iEl] == objsel.options[objsel.selectedIndex].value ) {
                
arVSelezionati.splice(iEl1);
                
arTSelezionati.splice(iEl1);
                break;
            }
        }
        
visValoriSelezionati();
    }
    
    function 
visValoriSelezionati(){
        
testoSelezionati arTSelezionati.toString();
        
document.frm_scelta.ValoriSelezionati.value testoSelezionati.replace(/,/g"\n");
    }
//--></script> 
Ma ora come faccio a prelevare i valori delle chiavi (arVSelezionati[]) per utilizzarli in php?