function setFilter(o, show) {
	if (show) {
		o.style["filter"] = "alpha(opacity=100)";
		o.style["-moz-opacity"] = "1";
		o.style["opacity"] = "1";
	}
	else {
		o.style["filter"] = "alpha(opacity=50)";
		o.style["-moz-opacity"] = ".50";
		o.style["opacity"] = ".50";
	}
}