function submit_form(form) {
    // handle htmlareas
    var tas = document.getElementsByTagName("textarea");
    for (var i = 0; i<tas.length; i++) {
	var ta = tas[i];
	// if( textarea.style.display == "none")
	if( ta.htmlEditor ) {
	    ta.htmlEditor._formSubmit();
	}
	//alert('texarea '+ta.name+' value'+ta.value);
    }
    form.submit();
}


// refresh function for forms.
function refresh_form(form,anchor) {
    if (form.refresh) {
	form.refresh.value = 1;
    }
    if (form.anchor) {
      //form.anchor.value = anchor.name;
      form.anchor.value = anchor;
   }
    submit_form(form);
}