function bildertauschOver(bildname)
{
   document.images[bildname].src = '/pics/'+bildname+'_HL.gif';
}

function bildertauschOut(bildname)
{
   document.images[bildname].src = '/pics/'+bildname+'.gif';
}