


function changeCursor() {
    if (navigator.userAgent.indexOf("Firefox") >= 0)
    {
        document.body.style.cursor='pointer';
    }
    else
    {
        document.body.style.cursor='hand';
    }
}

function restoreCursor() 
{
    document.body.style.cursor= 'default';
}

