/** function sendmail
 *
 *  Soll sicherstellen, dass Spambots keine eMail-Adressen abgreifen können
 *  @param doc		- Ein im Webbrowser geladenes Dokument, schlicjtweg als document anzugeben
 *  @param name 	- Das Adresspräfix
 *  @param server	- Der verwendete Mail-Server; kann weggelassen werden, default ist cdu-peine.de
 */

function sendmail (doc, name, server){
 	if (server == undefined || server == "") {
        	doc.write("<a href=\"mailto:"+name+"@cdu-peine.de\">"+name+"@cdu-peine.de</a>");
 	} else {
        	doc.write("<a href=\"mailto:"+name+"@"+server+"\">"+name+"@"+server+"</a>");
        }
}

/** function setStyle
 *
 *  Wechselt das eingebundene Stylesheet aus
 *  @param doc		- Ein im Webbrowser geladenes Dokument, schlichtweg als document anzugeben
 *  @param sett		- Die neue Einstellung
 */

function setStyle(doc, sett) {
	if (sett == undefined || sett == "") sett = "10";
	if (sett.charAt(0) == "0") sett = "1" + sett.charAt(1);
	doc.getElementById("CSS").href ="../tech/cdu" + sett + ".css";
}

/** function SeiteDrucken
 *
 *  Druckt das aktuelle Dokument
 *  @param w		- Ein im Webbrowser angezeigtes Fenster
 */

function SeiteDrucken(w) {
  if (w.print) w.print()
  else
    alert("Leider unterstützt Ihr Browser nicht das direkte Drucken von HTML-Seiten!");
}