function clear_textbox()
{
if (document.search_form.search_term.value != "")
document.search_form.search_term.value = "";
}