//Text Banner Rotation 
var banner=new Array()

banner[0]='<img src="../images/dri-top9.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

banner[1]='<img src="../images/dri-top11.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

banner[2]='<img src="../images/dri-top12.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

banner[3]='<img src="../images/dri-top13.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

banner[4]='<img src="../images/dri-top14.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

banner[5]='<img src="../images/dri-top15.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

banner[6]='<img src="../images/dri-top16.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

banner[7]='<img src="../images/dri-top17.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

banner[8]='<img src="../images/dri-top10.jpg" width="900" height="175" border="0" Alt="Diamond resorts international">'

var whichbanner=Math.floor(Math.random()*(banner.length))
document.write(banner[whichbanner])