// JavaScript Document
var theImages = new Array()

//Random-loading images
theImages[0] = 'images/clientLogos/thefl.gif' // replace with names of images
theImages[1] = 'images/clientLogos/pl.gif' // replace with names of images
theImages[2] = 'images/clientLogos/brcc.gif' // replace with names of images
theImages[3] = 'images/clientLogos/ponsford.gif' // replace with names of images
theImages[4] = 'images/clientLogos/ffsa.gif'
theImages[5] = 'images/clientLogos/sheffield_uni.gif' // replace with names of images
theImages[6] = 'images/clientLogos/biba.gif' // replace with names of images
theImages[7] = 'images/clientLogos/aivaf.gif' // replace with names of images
theImages[8] = 'images/clientLogos/epfl.gif' // replace with names of images
theImages[9] = 'images/clientLogos/nhs.gif'
theImages[10] = 'images/clientLogos/brit_silver.gif'
theImages[11] = 'images/clientLogos/fa.gif'

var j = 0
var i
var displyMax = 6
var p = theImages.length;
var preBuffer = new Array()

var imgArray = new Array(0,1,2,3,4,5,6,7,8,9,10,11); 
function randOrd(){return (Math.round(Math.random())-0.5); }
imgArray.sort(randOrd);

preBuffer[i] = new Image()
preBuffer[i].src = theImages[i]

function showImage(){
for (i = 0; i < displyMax; i++){	
document.write('<img src="'+theImages[imgArray[i]]+'" border=0 width=65 height=65></a>');
	}
}