var oldeins = 0;
var currenteins = 0;

var bannereins = new Array(
		'/panorama/pontresina4.jpg',
		'/panorama/pontresina1.jpg',
		'/panorama/stmoritz2.jpg',
		'/panorama/stmoritz6.jpg',
		'/panorama/stmoritz7.jpg',
		'/panorama/marquis2.jpg',
		'/panorama/marquis5.jpg',
		'/panorama/brickell1.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);
}