var oldeins = 0;
var currenteins = 0;

var bannereins = new Array(
        '/panorama/soleil1.jpg',
		'/panorama/brickell1.jpg',
		'/panorama/brickell2.jpg',
		'/panorama/brickell3.jpg',
		'/panorama/brickell4.jpg',
		'/panorama/brickell5.jpg',
        '/panorama/marquis1.jpg',
		'/panorama/marquis2.jpg',
		'/panorama/marquis3.jpg',
		'/panorama/marquis4.jpg',
		'/panorama/marquis5.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);
}