var list = null;

window.addEvent('domready', function() {
   list = $$('.dummy');
});

function highlight_thumb(obj)
{
   list.each(function(element) {
      element.style.border = "1px solid #ffffff";
   });

   obj.style.border = "1px dotted #000000";
   prevObj = obj;
}