function textarea_maxlength(element, maxlength) {
    textarea_maxtlength(element,maxlength,"");
}

function textarea_maxlength(element, maxlength, update_div) {
    if (element.value.length >= maxlength) {
        element.value = element.value.substr(0,maxlength);
    }

    if (update_div != "")
    {
        id = document.all ? document.all(update_div) : document.getElementById(update_div);
        if (id) {
            id.innerHTML="("+element.value.length+"/"+maxlength+" karakters gebruikt)";
        }
    }
}