var Images = new Array( 'cool_xp01.jpg', 'cool_xp02.jpg', 'cool_xp03.jpg',
		        'cool_xp04.jpg', 'cool_xp05.jpg', 'cool_xp06.jpg',
		        'cool_xp07.jpg', 'cool_xp08.jpg', 'cool_xp09.jpg',
		        'cool_xp11.jpg', 'cool_xp12.jpg', 'cool_xp13.jpg',
		        'cool_xp16.jpg', 'cool_xp19.jpg', 'cool_xp21.jpg',
		        'cool_xp22.jpg', 'cool_xp23.jpg', 'cool_xp24.jpg',
		        'cool_xp25.jpg', 'cool_xp26.jpg', 'cool_xp27.jpg',
		        'cool_xp28.jpg', 'cool_xp29.jpg', 'cool_xp30.jpg',
                        'cool_xp31.jpg', 'cool_xp32.jpg', 'cool_xp33.jpg',
                        'cool_xp34.jpg', 'cool_xp35.jpg', 'cool_xp36.jpg',
                        'cool_xp37.jpg', 'cool_xp38.jpg', 'cool_xp39.jpg',
                        'cool_xp40.jpg', 'cool_xp41.jpg', 'cool_xp42.jpg');

function update_banner() {
  var pic = document.getElementById("banner_pic");
  var idx = Math.floor(Math.random() * Images.length);
  pic.src = base + '/images/' + Images[idx];
}