var usedImage = [];

function getRandomImage() {

number = 0;

var Image = [];

Image[number++] = "woman-with-scales.jpg";
Image[number++] = "woman.jpg";
Image[number++] = "woman2.jpg";
Image[number++] = "woman3.jpg";
Image[number++] = "woman4.jpg";
Image[number++] = "team.jpg";
Image[number++] = "man-with-scales.jpg";
Image[number++] = "man-with-books2.jpg";
Image[number++] = "man-with-books.jpg";
Image[number++] = "lawyers.jpg";
Image[number++] = "lawyer.jpg";
Image[number++] = "judge.jpg";
Image[number++] = "glasses.jpg";
Image[number++] = "gavel3.jpg";
Image[number++] = "gavel2.jpg";
Image[number++] = "gavel.jpg";
Image[number++] = "dave.jpg";
Image[number++] = "courtroom.jpg";
Image[number++] = "books-and-computer.jpg";

var position = Math.floor(Math.random() * number);

while(usedImage[position]==3)
		position = Math.floor(Math.random() * number);

document.write("<img src='/Portals/119840/images/" + Image[position] + "' />");

usedImage[position]=3;

}