<!--

pics = new Array ();
urls = new Array ();

pics [0] = new Image ()
pics [0].src = "images/logo_electrolux.GIF";

pics [1] = new Image ()
pics [1].src = "images/logo_delonghi.GIF";

pics [2] = new Image ()
pics [2].src = "images/logo_tecno.GIF";

pics [3] = new Image ()
pics [3].src = "images/logo_fagor.GIF";

pics [4] = new Image ()
pics [4].src = "images/logo_baxi.GIF";

pics [5] = new Image ()
pics [5].src = "images/candy.jpg";

picNum = 0;

function changePic () {
  ++ picNum;
  if (picNum >= pics.length) picNum = 0;
  document.images ['pic1'].src = pics [picNum].src;
  setTimeout ('changePic ()', 3000);
}

 setTimeout ('changePic ()', 1000);

// -->