function toggleDropDown(eventElement) 
{
  var choices = $get('SearchChoices');
  if (isDropDownVisible) 
  { 
    choices.style.display='none';
	isDropDownVisible = false;	
  } 
  else 
  { 
    choices.style.display='block'; 
	isDropDownVisible = true;	
  } 
}

function searchHilite(eventElement)
{
  eventElement.target.className='searchHilite';
}

function searchDefault(eventElement)
{
  eventElement.target.className='searchDefault';
}


var isDropDownVisible = false;