function getBanner()
{
	numBanners = 12;
	t = Math.floor(numBanners*Math.random()+1);
	n = new String(t) + ".jpg";

	while (n.length<7) n="0"+n;
	
	n = "pbanner" + n;

        return(n);
}