function open_download_box()
{
	a=document.getElementById('more');
	if(a.style.display=='none')
		a.style.display='block';
	else
		a.style.display='none';
}

function bajar_programa()
{
	descarga = window.location.href.replace(/#$/, "") + "/bajar-descarga";
	window.location.href = descarga;	
}