// <!--
// BEGIN Script
// in IE opens a save box with HTML type selected and file name ready. Kinda Hokey...
// Depending on security settings doesn't work
// Doesn't work in FIREFOX

// I really hope this code is obsolete... MB 02/2009

function enregistre() {
	if (document.all) {
		var OLECMDID_SAVEAS = 4;
		var OLECMDEXECOPT_DONTPROMPTUSER = 2;
		var OLECMDEXECOPT_PROMPTUSER = 1;
		var WebBrowser = "<OBJECT ID=\"WebBrowser1\" WIDTH=0 HEIGHT=0 CLASSID=\"CLSID:8856F961-340A-11D0-A96B-00C04FD705A2\"></OBJECT>";
		document.body.insertAdjacentHTML("beforeEnd", WebBrowser);
		WebBrowser1.ExecWB(OLECMDID_SAVEAS, OLECMDEXECOPT_PROMPTUSER);
		WebBrowser1.outerHTML = "";
	}
	else {
		alert("Sorry, your browser does not support this feature. Save the web page from the FILE menu of your browser.");
	}
}


// END Script
// -->