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



function lesezeichen(url, title)
{
	if(document.all)
		window.external.AddFavorite(url,title)
}