function postform() {
	document.getElementById("post_form").submit();
}