imgs = new Array("pub2.png", "pub3.png", "pub5.png", "pub6.png", "res2.jpg", "res5.jpg", "res6.jpg", "res7.jpg");
imgs.sort(function() {return 0.5 - Math.random()}) 
for(i = 0; i < imgs.length; i++)
	document.write("<img src=\"images/banner/"+imgs[i]+"\" alt=\"Banner Image\">");