function set_anchor_styles(doc, params) {
	params = String(params);
	if (params.charAt(0) == '?')	params = params.substring(1);
	var a = params.split('&');
	for (var i = 0; i < a.length; i++) {
		var j = a[i].indexOf('=');
		if (j > 0) {
			var cls = a[i].substring(0, j);
			if (cls == 'own' || cls == 'opp' || cls == 'ok' || cls == 'inel') {
				var nms = a[i].substring(j+1).split(';');
				for (var k = 0; k < nms.length; k++) {
					var nm = nms[k], e = doc.anchors[nm];
					if (! e) {	// IE(5?)/Win32 seems to just index anchors[] by #, not name
						if (document.getElementById)
							e = doc.getElementById(nm) || doc.getElementsByName(nm)[0];
						else if (document.all)	e = document.all[nm];
						if (e && e.tagName && e.tagName != 'A')	e = null;
					}
					if (e) {
						if (e.className)	e.className += ' ' + cls;
						else	e.className = cls;
					}
				}
			}
		}
	}
}
if (location.search.length > 1 && "".split)	set_anchor_styles(document, location.search);