<!--
var lastInput = null;
var buttons = new Array(
   "durst_red",
   "events_red",
   "hunger_red",
   "vip_red",
   "shop_red",
   "bar_red"
   );

function Inputhigh(obj) {
   if (lastInput != null) lastInput.style.backgroundColor = '#F5F5E5';
   obj.style.backgroundColor = '#FFFFFF';
   lastInput = obj;
}

function change_image(obj, image) {
   var blob = document.getElementById(obj);
   blob.src = image;
}

function preload(path) {
   var images = new Array();
   for (var i=0;i<buttons.length;i++) {
      images[i] = new Image();
      images[i].src = path+buttons[i]+".gif";
   }
}


-->