function bookmark()
{
var bookmarkurl=self.location.href;
var bookmarktitle=document.title;
if(document.all)
{
window.external.AddFavorite(bookmarkurl,bookmarktitle);
}
}

function empfehlen()
{
var turl = parent.location.href;
mail_str = "mailto:?subject=Diese Internet Seite sollte man gesehen haben !!!";
mail_str += "&body=";
mail_str += "Hier ist die Adresse: " + turl;
location.href = mail_str;
}

function        checksearch()
{
if (document.forms['suchen'].suchen.value=="Suchen") document.forms['suchen'].suchen.value=""
}