Druck1=new Image();
  Druck1.src="grafik/druck_off.gif";
  Druck2=new Image ();
  Druck2.src="grafik/druck_ov.gif";
  Druck3=new Image ();
  Druck3.src="grafik/druck_over.gif";

function wechsel1 ()
{
  window.document.images[0].src=Druck2.src;
}
function wechsel2 ()
{
  window.document.images[0].src=Druck1.src;
}
function wechsel3 ()
{
  window.document.images[0].src=Druck3.src;
}