var Paginator = {
    jumpToPage: function(pages)
    {
        var page = prompt("Enter a number between 1 and " + pages + " to jump to that page", "");
        if (page != undefined)
        {
            page = parseInt(page, 10)
            if (!isNaN(page) && page > 0 && page <= pages)
            {
                window.location.href = "?page=" + page;
            }
        }
    }
}

function comment(nr){
    if (document.getElementById('id_body')){
        if (nr==" ") {
            document.getElementById('comment_label').innerHTML="zum Argument";
        }
        else {
            document.getElementById('comment_label').innerHTML="zu Kommentar "+nr;
        }
        document.getElementById('id_parent').value=nr;
        document.getElementById('id_body').focus();
    }
    else {
        window.location="#CommentForm";
    }
}


function checkLength(fn,rn,mc) {
  var ta = document.getElementById(fn)
  var len = ta.value.length;
  if (len > mc) {
    ta.value = ta.value.substring(0,mc);
    len = mc;
  }
  document.getElementById(rn).innerHTML = mc - len;
}