function highlight(layer_name) {	
	var layer = document.getElementById(layer_name);
	layer.className ='sub-frontpage-highlight_over';	
	/*
	var main = get_layer('sub-frontpage-highlights');
	var child;
	for (var i=0;i<=main.children.length-1;i++) {
		child = main.children[i];
		if (child.id == layer.id ) {
			child.className ='sub-frontpage-highlight_over';
		} else {
			child.className ='sub-frontpage-highlight';
		}
		
	}*/
}

function remove_highlight(layer_name) {
	var layer = document.getElementById(layer_name);
	layer.className ='sub-frontpage-highlight';	
}