function get_banner()
{
	if(images.length == 0)
		return "";
		
    var ranNum= Math.round(Math.random()*(images.length-1));
	if(images[ranNum])
	    return images[ranNum];
	else
		return "";
}