var jsDOM0 = (document.all);
var jsDOM1 = (document.getElementById);
var jsDOM = jsDOM0 || jsDOM1;
var jsDebug = 0;

function getObj (name) {
    if (typeof name == "object") return name;
    if (jsDOM1) return document.getElementById(name);
    if (jsDOM0) return eval('document.all.'+name);
    else return null;
}

function BookmarkThis(page_url) {
	var ver = navigator.appName;
	var num = parseInt(navigator.appVersion);
	if( (ver == "Microsoft Internet Explorer")&&(num >= 4)) {
		window.external.AddFavorite(location.href,document.title);
	} else {
		alert("Sorry. Netscape users must bookmark the pages manually by hitting <Ctrl-D>");
	}
	return false;
}