JS_DEBUGGING = false;

function trace(str){
	if(JS_DEBUGGING)
		console.log(str);
}

function email(name, domain){
	var teil1 = "mai";
	var teil2 = "lto:";
	var teil3 = name;
	var teil4 = domain;
	document.write('<a href=\"' + teil1 + teil2 + teil3 + '&#64;' + teil4 + '\">' + teil3 + '&#64;' + teil4 + '</a>');
}