var Images = new Array(
'000.jpg', '001.jpg', '003.jpg', '006.jpg',
'007.jpg', '008.jpg', '009.jpg', '010.jpg',
'011.jpg', '012.jpg', '013.jpg', '014.jpg',
'015.jpg', '016.jpg', '017.jpg', '018.jpg',
'019.jpg', '020.jpg', '021.jpg', '022.jpg',
'023.jpg', '024.jpg', '025.jpg', '026.jpg',
'027.jpg', '028.jpg', '029.jpg', '030.jpg',
'031.jpg', '032.jpg' );

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