window.addEvent(
'domready',
function()
{
  if (document.id('hauptbild'))
  {
    var hauptbild = document.id('hauptbild').get('src');
    document.id('bilderrahmen_info').getElements('a.thumb').addEvents({
      'mouseover' : function()
      {
        document.id('hauptbild').set('src', this.get('href'));
      },
      'mouseout' : function()
      {
        document.id('hauptbild').set('src', hauptbild);
      }
    });
  }
});