// *** Fgt eine E-Mail-Adresse ein ***
function InsertMail2(mailnam,mailsvr,maildom,text)
{
  if(text=="")
    document.write('<a style="text-decoration: none" href="mailto:'+mailnam+'@'+mailsvr+'.'+maildom+'"><font color="#ffffff">'+mailnam+'@'+mailsvr+'.'+maildom+'</font></a>');
  else
    document.write('<a style="text-decoration: none" href="mailto:'+mailnam+'@'+mailsvr+'.'+maildom+'"><font color="#ffffff">'+text+'</font></a>');
}

function InsertMail(mailnam,mailsvr,maildom,text)
{
  if(text=="")
    document.write('<a style="text-decoration: none" href="mailto:'+mailnam+'@'+mailsvr+'.'+maildom+'">'+mailnam+'@'+mailsvr+'.'+maildom+'</a>');
  else
    document.write('<a style="text-decoration: none" href="mailto:'+mailnam+'@'+mailsvr+'.'+maildom+'">'+text+'</a>');
}

// JavaScript Document
function buttonon(buttonNr) {
		var button = document.getElementById ('button' + buttonNr );
		button.src = 'images/' + buttonNr + '_2.png';
}
function buttonoff(buttonNr) {
		var button = document.getElementById ('button' + buttonNr );
		button.src = 'images/' + buttonNr + '.png';
}

function buttonan(buttonNr) {
		var button = document.getElementById ('button' + buttonNr );
		button.src = 'images/' + buttonNr + '_2.jpg';
}
function buttonaus(buttonNr) {
		var button = document.getElementById ('button' + buttonNr );
		button.src = 'images/' + buttonNr + '.jpg';
}