+
+function download_mgr(url)
+{
+ var ifra;
+
+ if ((ifra = $('the_downloader')) == null) {
+ ifra = document.createElement("iframe");
+ ifra.style.display = "none";
+ ifra.id = 'the_downloader';
+ document.body.appendChild(ifra);
+ }
+
+ ifra.contentWindow.location.href = url;
+
+ this.ifra = ifra;
+}
+
+download_mgr.prototype = {
+ ifra: null
+}