function bookmark()
        {
window.external.AddFavorite( location.href, document.title );
        }

function Fenster_onClick() {
window.open("instruktionen.php3","Info","height=510,width=330,toolbar=no,location=no,directories=no,status=yes,menubar=no,scrollbars=yes,resizable=no,top=10,left=500");
}

function setPrintView () {
         var uri = window.location.href;
         var searchString = window.location.search;

         if (searchString) {
                  uri += "&printView=true";
         }
         else {
                  uri += "?printView=true";
         }
         window.location.replace(uri);
         window.print();
}