function addBookmark(url, title) {
	var ver = navigator.appName;
	var num = parseInt(navigator.appVersion);
	if ((ver == "Microsoft Internet Explorer")&&(num >= 4)) {
		if(document.all)
		window.external.AddFavorite(url,title)
	}
	else{
		alert("Drücken Sie STRG + D um diese Seite in Ihre Favoriten aufzunehmen.")
	}
}
function showDiv(element) {
	document.getElementById(element).style.display = "block";
}
function hideDiv(element) {
	document.getElementById(element).style.display = "none";
}