Your code is not working because for the first time when rotate is called document.banner is undefined. And setting properties to undefined objects (documet.banner.src = somthing) result in crash.
So when ever you want to set the property to any HTML element in javascript, first check that if it is defined yet or not and apply properties only when they are defined.
if(document.banner)
document.banner.src = bannerRotate[ getNewBanner ];
When you think you have done a lot, then be ready for YOUR downfall.