<!--
function random_logo(){
var availableImages = 12
var logos=new Array()
var numberToDisplay = 3
numUsed = 0;
count = 0;
while(count < numberToDisplay) {
	var ry=Math.floor(Math.random()*availableImages);
	found = false;
	for(i=0; i < logos.length; i++) {
		if (logos.length > 0 && logos[i] == ry) {
			found = true;
		}
	}
	if (found == false) {
		logos[count]=ry;
		count++
	}
}
document.write('<img src="/images/hp_'+logos[0]+'.jpg" style="width:150px;height:70px;margin:5px;margin-right:0;border:1px solid #333333;float:right">')
document.write('<img src="/images/hp_'+logos[1]+'.jpg" style="width:150px;height:70px;margin:5px;margin-right:0;border:1px solid #333333;float:right">')
document.write('<img src="/images/hp_'+logos[2]+'.jpg" style="width:150px;height:70px;margin:5px;margin-right:0;border:1px solid #333333;float:right">')
}
random_logo()
//-->
