JavaScript: implementare la funzione shuffle() di PHP