title = new Array();
title = ['title1.jpg', 'title2.jpg', 'title3.jpg', 'title4.jpg', 'title5.jpg', 'title6.jpg', 'title7.jpg', 'title8.jpg', 'title9.jpg', 'title10.jpg'];

function BannerRotation()
{
var nr = Math.round(((title.length - 1) * Math.random()));
document.title.src = "images/" + title[nr];
}