function update_files(){
	var disp = document.getElementsByName('raw__folder')[0].value;
	var opts = document.getElementsByName('raw__files')[0].options;
	for(var x=0; x< opts.length;x++){
		document.getElementsByName('raw__files')[0].options[x].style.display = (opts[x].className == disp) ? 'block' : 'none';
	}
}