function $(id) {
	return document.getElementById(id);
}

function addBookmark(url, title) {
	if (document.all) {
		window.external.AddFavorite(url, title);
	}
	else if (window.sidebar) {
		window.sidebar.addPanel(url, title);
	}
}