// JavaScript Document

//-- BEGIN SCRIPTS BY AC, Link festlegen bzw. makieren
function Obj (id)
{
	return document.getElementById (id);
}

function highlightSelectedLink (link)
{
	var l = Obj (link);
	if (l!=null)
	{
		if (l.href== document.location.href)
			l.style.backgroundColor="#FFFAE4"; 
	}
}
function highlightSelectedLink1 (link)
{
	var l = Obj (link);
	if (l!=null)
	{
		if (l.href== document.location.href)
			l.style.backgroundColor="#FFFAE4";
	}
}