function download_file(divId)
///show file to download
{ 
   ///combo
	var element=document.getElementById(divId);
	///selected index
	var sI = element.selectedIndex;
	
	if(element.options[sI].value!='none')////anything selected
	{
	////div to show
	var targetDiv = document.getElementById('div'+divId);
	///put html into div
	targetDiv.innerHTML = '<a href=\"download/'+element.options[sI].value+'\">'+element.options[sI].value+'</a>';
	}
}