function showElement(element)
{
	element.className = element.className.replace(/ ?nodisplay/, '');
}

function hideElement(element)
{
	element.className = element.className.replace(/ ?nodisplay/, '');
	element.className += ' nodisplay';
}

function ShowExtSearch()
{
	showElement(document.getElementById('ExtSearchBlock'));
	hideElement(document.getElementById('ShowExtSearch'));
	showElement(document.getElementById('HideExtSearch'));
}

function HideExtSearch()
{
	hideElement(document.getElementById('ExtSearchBlock'));
	showElement(document.getElementById('ShowExtSearch'));
	hideElement(document.getElementById('HideExtSearch'));
}