// JavaScript Document

/*  Funktion zum Setzen des Bookmark links*/
function Lesezeichen(){
  var SeitenURL = 'http://www.rauschdruck.de';
  var SeitenTitel = 'Rausch Druck GmbH';
  var Kommentar = 'Rausch Druck GmbH - Die Druckerei mit druckfrischer Qualität';
  
  if (window.sidebar)
    {
    // firefox
    window.sidebar.addPanel(SeitenTitel,SeitenURL,Kommentar);
    }
  else if(window.opera && window.print)
    {
    // opera
    var elem = document.createElement('a');
    elem.setAttribute('href',SeitenURL);
    elem.setAttribute('title',SeitenTitel);
    elem.setAttribute('rel','sidebar');
    elem.click();
    }
  else if(document.all)
    {
    // ie
    window.external.AddFavorite(SeitenURL,SeitenTitel);
    }
}


function chkFormular() {
  if(document.Formular.Email.value.indexOf('@') == -1)
    {
     alert("Bitte geben Sie eine gültige Email-Adresse an!");
     document.Formular.Email.focus();
     return false;
    }
   return true;
}