function show_group(id)
		{
			var current_gr = "gr_"+document.getElementById("current_gr").value;			
			document.getElementById(current_gr).className = "no_display";
			var gr_id = "gr_"+id;
			document.getElementById(gr_id).className = "downloads";
			document.getElementById("current_gr").value = id;
		}