function show_shadow()
{
	var div = document.getElementById("shadowmask");
	div.style.display = "block";
	div.style.position = "absolute";
	div.style.position = "fixed";
	div.style.top = "0px";
	div.style.left = "0px";
	div.style.width="100%";
	div.style.height="100%";
 	div.style.visibility = "visible";

	// Prevent the scrolling for Firefox.
	document.body.style.overflow="hidden";
}

function hide_shadow()
{
	var div = document.getElementById("shadowmask");
	div.style.display = "none";
	div.style.visibility = "hidden";
    	div.style.width="0px";
	div.style.height="0px";

	// Restore the scrolling for Firefox.
	document.body.style.overflow="auto";
}

function show_download(file,redirection,msg)
{
	file="download.php?file="+encodeURI(file);
	show_shadow();
	var div = document.getElementById("shadowwhat");
	div.innerHTML="<h1>Your download will start shortly...</h1><p>Problems with the download? Please use this <a href=\""+file+"\">direct link</a>.</p><script language=\"javascript\">setTimeout('start_download(\""+file+"\")',100);</script><button type=\"button\" onclick=\"javascript: end_download('"+redirection+"');\">Close</button><p>"+msg+"</p>";	
	start_download(file);
}

function start_download(file)
{
	window.location.replace(file);
}

function end_download(redirection)
{
	hide_shadow();
	window.location.replace(redirection);
}