// ******************************************************************************************************************
// *** Funktion f_EMail
// ***
// *** Mit Hilfe dieser Funktion ist es möglich, die e-Mail-Adresse auf der Homepage zu verschlüsseln und trotzdem auf der
// *** Seite anzuzeigen, ohne dass diese durch einen robot ("Spider") gelesen und für Spam-Mails verwendet werden kann
// ***
// *******************************************************************************************************************
// *** Erstellt am: 15.10.2004
// *** Letzte Ae am:	2.9.2006
// *** Erstellt von: Georg Schirmer
// *** Copyright (c) 2004 : Georg Schirmer. www.georg-schirmer.de
// *******************************************************************************************************************
// *** Dieses Java-Script darf privat und geschäftlich verwendet werden, sofern dieser Kommentar nicht entfernt wird
// *******************************************************************************************************************

function f_EMail(t1,t2,t3,subject) {


	if (t1 == '')
		t1n = 'info';
	else
		t1n = t1;

	if (t3 == '')
		t3n = 'de';
	else
		t3n = t3;

    var emailsuch =t1n +"@" +t2 +"."+t3n;

	if (subject != "")
		document.write(emailsuch.link("mailto:"+emailsuch +"?subject=" +subject));
	else
		document.write(emailsuch.link("mailto:"+emailsuch));

}

function f_chg_img_src(name,img_src)
{

	if (document.images[name])
		document.images[name].src = img_src;


}

sfHover = function()
{

	var sfEls = document.getElementById("drop_down").getElementsByTagName("LI");

	for (var i=0; i<sfEls.length; i++)
	{
		sfEls[i].onmouseover=function()
		{
			this.className+=" sfhover";
		}
		sfEls[i].onmouseout=function()
		{
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
		}
	}
}

if (window.attachEvent) window.attachEvent("onload", sfHover);


function setCheckbox_checked(CheckBox_id)
{
    if (document.getElementById(CheckBox_id))
    {
        document.getElementById(CheckBox_id).checked = (document.getElementById(CheckBox_id).checked ? false : true);
        if (document.getElementById(CheckBox_id + 'r'))
            document.getElementById(CheckBox_id + 'r').checked = document.getElementById(CheckBox_id).checked;
    }

}


function setRadio_checked(Radio_id)
{
    if (document.getElementById(Radio_id))

        document.getElementById(Radio_id).checked = true;


}