<!--
var highlightLink = function () {
	var active = null, colour = '#ffffcc';
	if (this.attachEvent) this.attachEvent('onunload', function () {
		active = null;
	});
	return function (element) {
	if ((active != element) && element.style) {
		if (active) active.style.backgroundColor = '';
			element.style.backgroundColor = colour;
			active = element;
		}
	};
}();
//-->
