function hlt(obj, state) {
	if (!obj.onmouseout) {
		obj.onmouseout = function anon_unhlt() { hlt(obj, false); };
	}
	if (!state) {
		obj.style.backgroundColor = '999999';
	} else {
		obj.style.backgroundColor = '868686';
	}
}