function SaveAs(filename)
{
	if (navigator.appName == "Microsoft Internet Explorer" && navigator.appVersion >= "4.0")
		document.execCommand('SaveAs', 1, filename);
	else
		alert("Hit CTRL-S to save this page");
	//var Fso = new ActiveXObject("Scripting.FileSystemObject");
}


function AddBookmark(location_href, document_title)
{
	// We'd like to return people to a 'frame' view, not to a 'full' one
	if (!location_href.match('/clean/'))
		location_href = location_href.replace('/full/', '/frame/');
	if (navigator.appName == "Microsoft Internet Explorer" && navigator.appVersion >= "4.0")
		window.external.AddFavorite(location_href, document_title);
	else
		window.sidebar.addPanel(document_title, location_href, "");
}