var highlighter = new Image();
highlighter.src = "images/highlight1.jpg";

function highlight(layer, n)
{
	if(n == 0)
	{
		document.getElementById(layer).style.background = '#FFFFFF';
		document.getElementById('l'+layer).style.color = '#AAAAAA';
	}
	else
	{
		document.getElementById(layer).style.background = 'url(images/highlight1.jpg)';
		document.getElementById('l'+layer).style.color = '#000000';
	}
}