<!--
/* Style-Effekt */
function getActivated(id) {
    document.getElementById("submenue"+id).className="selected";	
}

/* E-Mail-Adresse generieren */
function openmail(user,host) {
    locationstring = "mailto:" + user + "@" + host;
    window.location = locationstring;
}

function pastemail(user,host) {
	document.write('<a href="javascript:openmail(\''+user+'\',\''+host+'\')">'+user+'@'+host+'</a>');
}

//-->