function unhighlight()
{
	for(var i=0; i<document.links.length; i++)
	{
		document.links[i].style.backgroundColor = '';
	}
}

function highlight(target)
{
	unhighlight();
	target.style.backgroundColor = '#BEDEDE';
}

function clearSearch()
{
	document.getElementById('search').value = '';
}