function paging_redirect(url)
{
    location.href = url;
}

function paging_mouseOver(obj)
{
    obj.className = obj.className.replace("Off", "On");
    obj.style.cursor = 'hand';
}

function paging_mouseOut(obj)
{
    obj.className = obj.className.replace("On", "Off");
}