// post form
function post_form(form_id)
{
	window.document.getElementById(form_id).submit();
}