function submitSearch()
{
document.search.submit();}