ho provato a usare document.getElementById('ordinamento') al posto della variabile 'sel_dest' e così funziona tutto perfettamente anche in Explorer. la variabile era stata settata così:
var sel_dest=document.getElementById('ordinamento');
In ogni caso grazie per il suggerimento. Ciao