function restletter(){
var msjtxt;
var msjgen;
var decline;
var maxletter;
var restletter;
maxletter = 5000;
if (document.form1.vcomment.value != null){
        msjtxt = document.form1.vcomment.value;
        msjgen = msjtxt.length;
        if (msjgen > maxletter){
                document.form1.vcomment.value=msjtxt.substring(0,maxletter);
                restletter = 0;
        }
        else {
                restletter = maxletter - msjgen;
        }
        document.form1.gen.value = restletter;
        }
}