var scrollDirection = 0;
var scrollDiv = null;
function changeClass( obj, elClassName ) {
    obj.className = elClassName;
}
function navigateToByAnchorId( anchorId ) {
    document.location=document.getElementById( anchorId ).href;
}
function scrollUp( divId ) {
    scrollDirection = -10;
    scrollDiv = divId;
    performScroll();
}
function scrollDown( divId ) {
    scrollDirection = 10;
    scrollDiv = divId;
    performScroll();
}
function performScroll() {
    document.getElementById( scrollDiv ).scrollTop = document.getElementById( scrollDiv ).scrollTop + scrollDirection;
    if (scrollDirection != 0)
        window.setTimeout(performScroll, 100);
}
function stopScroll() {
    scrollDirection = 0;
}