var last_searchxx;

function afterUpdate_searchxx(text, li)
{    	
	var tx;
	
	if (text.value == "")
		tx = last_searchxx;
	else
		tx = text.value;
		
	$('searchxx').value = tx;
	
    if (li.childNodes[0].className == "informal")
    {	    	    
    	if (li.style.display == 'block')
    		$('search').submit();
    }    
    else
    {    
    	$('search').submit();	
    }
    	
} 

function stopAutocomplete(inputElementID)
{
	 var obj = $(inputElementID);
	 if (obj)
	 {
	   obj.stopObserving('blur').stopObserving('keydown').setAttribute('autocomplete', 'on');
	 }
}

