function updateSearch()
{
  document.SearchForm.submit();
}

function getObj(id) {
	var o; 
	if (document.getElementById) 
	{
		o=document.getElementById(id);
	} 
	else if (document.all) 
	{
		o=document.all[id];
	}
        
	return o;
}