zeile = null;

function change (tr)
{
	if (tr != zeile)
	{
		tr.style.backgroundColor= "#EFEFEF";
	}
}

function unchange (tr)
{
	if (tr != zeile)
	{
		tr.style.backgroundColor= "#FFFFFF";
	}
	else
	{
		tr.style.backgroundColor= "#EFEFEF";
	}
}