function readchars(a) {var b = 240 - a.value.length;if(b >= 0) {document.getElementById('char_count').innerHTML  = b;}
if(a.value.length > 240) {a.value = a.value.substr(0, 240);}
}
