document.getElementById('topBanner').innerHTML = "";document.getElementById('miniBanner1').innerHTML = "";document.getElementById('banner250').innerHTML = "

To freeze animation, right-hand click on 'Play'.

";