// JavaScript Document
<!-- Original:  Markus Fischer (mfischer@josefine.ben.tuwien.ac.at) -->
<!-- Web Site:  http://josefine.ben.tuwien.ac.at/~mfischer/ -->

<!-- This script and many more are available free online at -->
<!-- The JavaScript Source!! http://javascript.internet.com -->

<!-- Begin
var mfBanners = [

['http://www.miamihabitat.com', 'http://www.hotelshabitat.com/Banners/new_banners/miamihabitat-2.gif'], 
['http://www.escaperental.com', 'http://www.hotelshabitat.com/Banners/new_banners/escaperental-4.gif'], 
['http://www.miamiboat.com', 'http://www.hotelshabitat.com/Banners/new_banners/miamiboat-3.gif'], 
['http://www.miamihabitat.com', 'http://www.hotelshabitat.com/Banners/new_banners/miamihabitat-5.gif'], 
['http://www.escaperental.com', 'http://www.hotelshabitat.com/Banners/new_banners/escaperental-6.gif'],
['http://www.miamiboat.com', 'http://www.hotelshabitat.com/Banners/new_banners/miamiboat-5.gif']
];

var mfIe = false;
if( document.all) {
mfIe = true;
}
var mfBannerIndex = 0;

function mfBannerChange() {
var htmlString = '<a target="_blank" href="'+mfBanners[mfBannerIndex][0]+'"> <img border="0" src="'+ mfBanners[mfBannerIndex][1]+'"></a>';
if( mfIe) {document.all.banner.innerHTML = htmlString};
else {
document.layers["banner"].document.open();
document.layers["banner"].document.write( htmlString);
document.layers["banner"].document.close();
}
if(mfBannerIndex < mfBanners.length - 1)
mfBannerIndex++;
else
mfBannerIndex = 0;
}



setInterval("mfBannerChange()", 6500);
//  End -->