function init()
{
	var identifier = new Array("home", "references", "knowhow", "contact", "impressum");
	for ( var i = 0; i<identifier.length; i++ )
	{
		var id = identifier[i];
	  var element = document.getElementById(id);
	  if ( element != null )
	  {
	  	element.onmouseover = function() { enable(this); }
	  	element.onmouseout = function() { disable(this); }
		}
	}
	id = 0;
}

function enable(e)
{
	e.style.backgroundColor='#B2CDE0';
}

function disable(e)
{
	e.style.backgroundColor='#CCCCCC';
}