function body1count() {	document.form.body1char.value = document.form.html.value.length; }