var oldeins = 0;
var currenteins = 0;

var bannereins = new Array(
        '/panorama/pontresina1.jpg',
		'/panorama/pontresina2.jpg',
		'/panorama/pontresina3.jpg',
		'/panorama/pontresina4.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);
}