function formsubmit() {
document.form[0].submit();
}