function set_opacity (el, value) {

	if (el) {
		el.style.opacity = value/10;
		el.style.filter = 'alpha(opacity=' + value*10 + ')';
	}
}