function bildwechsel ( id , url )
{
  self.document.getElementById(id).src=url;
}