function set_form(new_page, new_page_name){
	document.forms["menu"].elements["page"].value=new_page;
	document.forms["menu"].elements["page_name"].value=new_page_name;
	document.forms["menu"].submit();
}