/* E-Mail-Adresse drucken */
function print_email(tld,user,domain) {
        return (user + '@' + domain + '.' + tld);
}

function warte() {

	var jetzt = new Date();
	var nun   = new Date();
	
	while (nun-jetzt < 300) {
		nun = new Date();
	}
	
	return true;
}