Io interpreteri in un modo diverso.
Fai un unico vettore, contentente i nomi delle immagini:
codice:
var immagini=new Array();
immagini[0]= "img01.jpg";
immagini[1]= "img02.jpg";
....
// trovi gli indici delle tre immagini:
var index1 = -1;
var index2 = -1;
var index3 = -1;
index1 = Math.floor(Math.random()*immagini.length);
do {
index2 = Math.floor(Math.random()*immagini.length);
} while(index1 == index2);
do {
index3 = Math.floor(Math.random()*immagini.length);
} while(index3==index2 || index3==index2);
// infine attribuisci i nomi alle rispettive immagini:
document.images['giraa'].src=immagini[index1];
document.images['girab'].src=immagini[index2];
document.images['girac'].src=immagini[index3];