// JavaScript Document
function submit_search(form)
{
	form.submit();
}