function toggle_regex_help()
{
	var regex = document.getElementById('regex_help');
	if (regex)
	{
		if (regex.style.display == null 
			|| regex.style.display == '' 
			|| regex.style.display == 'none')
			regex.style.display = 'block';
		else regex.style.display = 'none';
	}
	return false;
}