var current;

function downloads(select) {
	var opt = select.options[select.selectedIndex];
	var e;
	if (current != null) {
		e = document.getElementById(current);
		if (e) e.style.display = 'none';
		current = null;
	}
	if (opt.value == '') {
		e = document.getElementById('downloads');
		if (e) e.style.display = 'none';
		return;
	}
	
	e = document.getElementById('downloads');
	if (e) e.style.display = 'block';

	current = opt.value;
	e = document.getElementById(opt.value);
	if (!e) return;
	e.style.display = 'block';
}