function select_link (link)
{
}

function unselect_link (link)
{
}

function schlagworte (keyletter, link)
{
	var i;
	var table = document.getElementById ('schlagworte');
	for (i = 0; i < table.rows.length; i++)
	{
		if (keyletter == 'all')
		{
			table.rows[i].style.display = '';
		} else
		{
			if (table.rows[i].cells[0].innerHTML == keyletter)
			{
				table.rows[i].style.display = '';
			} else
			{
				table.rows[i].style.display = 'none';
			}
		}
		
	}
}