function copy() {
	var jahr = "2009"
	var befehl = "mailto:";
	var klammeraeffchen = "@";
	var land = "de";
	var domaene = "elixierer";
	var name1 = "axel";
	var name2 = "mueller";
	var puenktchen = ".";
	document.write('© ');
	document.write('<' + 'a' + ' hr' + 'ef=\"' + befehl + name1 + puenktchen + name2 + klammeraeffchen + domaene + puenktchen + land + '\">');
	document.write('Axel M&uuml;ller' + '</' + 'a' + '>');
	document.write(', ' + jahr);
}