var ran_number
var usednumbers = new Array();
var images = new Array();
images[0] = "DisplayImage0065.gif"
images[1] = "DisplayImage0be3.jpg"
images[2] = "DisplayImage213e.jpg"
images[3] = "DisplayImage2535.gif"
images[4] = "DisplayImage2e9d.jpg"
images[5] = "DisplayImage3b32.jpg"
images[6] = "DisplayImage3cbc.jpg"
images[7] = "DisplayImage40d4.jpg"
images[8] = "DisplayImage6128.jpg"
images[9] = "DisplayImage8d22.jpg"
images[10] = "DisplayImage9757.jpg"
images[11] = "DisplayImagea213.jpg"
images[12] = "DisplayImagedbdb.jpg"
images[13] = "DisplayImagef330.jpg"
images[14] = "DisplayImagefd01.jpg"

function getrandomimage()
{
    ran_number = Math.floor(Math.random() * 15);
    document.getElementById("img1").src = "Components/" + images[ran_number];
    usednumbers[0] = ran_number;
    ran_number = Math.floor(Math.random() * 15);
    
    if (usednumbers[0] == ran_number) {
        do {
            ran_number = Math.floor(Math.random() * 15);
        }
        while (usednumbers[0] = ran_number);
        document.getElementById("img2").src = "Components/" + images[ran_number];
        usednumbers[1] = ran_number;
    }
    else {
        document.getElementById("img2").src = "Components/" + images[ran_number];
        usednumbers[1] = ran_number;
    }
    ran_number = Math.floor(Math.random() * 15);

    if (usednumbers[0] == ran_number || usednumbers[0] == ran_number) {
        do {
            ran_number = Math.floor(Math.random() * 15);
            if (usednumbers[1] == ran_number) {
                ran_number = Math.floor(Math.random() * 15);
            }
        }
        while (usednumbers[0] = ran_number);
        document.getElementById("img3").src = "Components/" + images[ran_number];
        usednumbers[1] = ran_number;
    }
    else {
        document.getElementById("img3").src = "Components/" + images[ran_number];
        usednumbers[1] = ran_number;
    }
    
}