var oldeins = 0;
var currenteins = 0;

var bannereins = new Array(
        '/panorama/stmoritz1.jpg',
		'/panorama/stmoritz2.jpg',
		'/panorama/stmoritz3.jpg',
		'/panorama/stmoritz4.jpg',
		'/panorama/stmoritz5.jpg',
		'/panorama/stmoritz6.jpg',
		'/panorama/stmoritz7.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);
}