var oldeins = 0;
var currenteins = 0;

var bannereins = new Array(
        '/panorama/zuoz1.jpg',
		'/panorama/zuoz2.jpg',
		'/panorama/zuoz3.jpg',
		'/panorama/zuoz4.jpg',
		'/panorama/zuoz5.jpg',
		'/panorama/zuoz6.jpg',
		'/panorama/zuoz7.jpg');

function StartBanners()
{
        if (!document.images) return
        while (currenteins == oldeins)
        {
                currenteins = Math.floor(Math.random()*bannereins.length);
        }
        oldeins = currenteins;
        document.images['bannereins'].src = bannereins[currenteins];
        setTimeout('StartBanners()',9000);
}