function articles_top() {
	var art_top = document.getElementById("art_top");
	art_top.style.display = (art_top.style.display == "none") ? "block" : "none";
}

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