<!--

//-->

window.onload = prepareLinks;
function prepareLinks() {
	if(!document.getElementsByTagName) return false;
	var links = document.getElementsByTagName("a");
	for (var i=0; i<links.length; i++) {
		if (links[i].className == "download") {
			links[i].onclick = function() {
				external(this.getAttribute("href"));
				return false;
			}
		}
	}
}

function external(winURL) {
	window.open(winURL, "download");
}