function preload_picture (s)
{
if (document.images)
{
i = new Image ();
i.src = s;
}
}
function Array_Function() {
this.length = Array_Function.arguments.length
for (var i = 0; i < this.length; i++) this[i+1] = Array_Function.arguments[i]
}

/* "01.jpg" wird zweimal aufgerufen, da die 
Diashow sofort nach dem Start ein fading 
durchführt. So fadet Sie quasi in das 
gleiche Bild rein. */
var pix = new Array_Function ("essen_00__.jpg","essen_00__.jpg","essen_00_.jpg","essen_00.jpg","essen_01.jpg","essen_02.jpg","essen_03.jpg","essen_04.jpg","essen_05.jpg","essen_06.jpg");

/* Andere Browser würden zweimal das Bild 
laden und es dadurch doppelt so lange 
zeigen. Um das auszuschließen, beginnen 
diese direkt mit dem "zweiten" Bild */
if (navigator.appName.indexOf("Explorer") > -1)
{
var nummer = 1;
}
else
{
var nummer = 2;
}
var start = 0
function wechsle() 
{
document.image.src = "gfx/"+pix[nummer];
nummer += 1;
if (nummer == 7) nummer = 2

/* Damit ein wechsel möglichst nach 10 
Sekunden geschieht, wird einfach die Dauer 
für den Preload von den 10 Sekunden 
subtrahiert. Sollte der Preload länger als 
10 Sekunden dauern, wird direkt zum 
nächsten Bild gefadet */ 
var zeit= new Date ();
var a=zeit.getTime ()
pload = "gfx/"+pix[nummer];
var zeit= new Date ();
var b=zeit.getTime ()
var c=b-a
var d=Math.round (c)
var e=5000-d
if (e<0) e=0
preload_picture(pload);
setTimeout("wechsle()", e);
next = new Image();
next.src = pload
document.all.fading.filters.blendTrans.Apply();
document.all.fading.src = next.src;
if (start!=0)
{
document.all.fading.filters.blendTrans.Play();
}
start=1
}