// JavaScript Document
function auto_submit_search(page){
    document.forms['search_form'].search_page.value = page;
    document.search_form.submit();
}