// JavaScript Document
function hide_dl(){
	document.getElementById('download_layer').style.visibility='hidden';
}

function download (name, hlink) {
	document.getElementById('download_layer').style.visibility='visible';
    document.getElementById('download_layer').innerHTML = '<div style="float:right;"><a href="#" onclick="javascript:hide_dl();" class="close_win" >X</a></div><div style="padding-top:6px;">' + name + '</div><br><br>Do you want to <b>open</b> the file or <b>download</b> it?<br><br><div style="float:right;"><a href="/downloads/'+hlink+'.zip" class="dl_a" onclick="javascript:hide_dl();" >Download</a></div><div><a href="/downloads/'+hlink+'.pdf" class="dl_a" target="_blank"  onclick="javascript:hide_dl();" >Open</a></div><br> ';
}