function rotateBannerDown()
{
    // This will get the div element, i.e the html element and hence
    // we're able to control what's happening with it.

     currentDiv = document.getElementById (allDivIDs[currentDivIndex]);

        currentDiv.filters[0].enabled = true;
        currentDiv.filters[0].opacity = currentDiv.filters[0].opacity - 10;

        if (currentDiv.filters[0].opacity > 0)
        {
            setTimeout('rotateBannerDown()',50);
        }
        else
        {
            currentDiv.style.display = "none";

            // Because this a circular process, i.e. the news are rotating, must use
			currentDivIndex = (currentDivIndex + 1) % allDivIDs.length;
            currentDiv = document.getElementById (allDivIDs[currentDivIndex]);
            currentDiv.style.display = "block";

            setTimeout('rotateBannerUp()',200);
        }
}

function rotateBannerUp()
{
    currentDiv.filters[0].opacity = currentDiv.filters[0].opacity + 10;

    if (currentDiv.filters[0].opacity >= 100)
    {
        currentDiv.filters[0].enabled = false;
        currentDiv = document.getElementById (allDivIDs[currentDivIndex-1]);
        setTimeout('rotateBannerDown()', 5000);
        // finished
    }
    else
    {
        setTimeout('rotateBannerUp()',50);
    }
}